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