K. Leino. The Future of Software Engineering, page 115-124. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.
K. Leino, P. Müller, and A. Wallenburg. Verified Software: Theories, Tools, Experiments, volume 5295 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
J. Koenig, and K. Leino. Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)