K. Leino, P. Müller, und A. Wallenburg. Verified Software: Theories, Tools, Experiments, Volume 5295 von Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
K. Leino. The Future of Software Engineering, Seite 115-124. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.