Logistics (theme 3), Software (theme 1)
Elsevier
dx.doi.org/10.1016/j.jcss.2011.08.002
Journal of Computer and System Sciences
Networks and Optimization

Apt, K.R, de Boer, F.S, Olderog, E.R, & de Gouw, C.P.T. (2012). Verification of object-oriented programs: A transformational approach. Journal of Computer and System Sciences , 78(3), 823–852. doi:10.1016/j.jcss.2011.08.002