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.
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)