P. Cousot, R. Cousot, und L. Mauborgne. Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 72-95. Springer, (2010)
P. Cousot, R. Cousot, und L. Mauborgne. The Future of Software Engineering, Seite 48-71. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.