"Keynote Address: Abstraction, Composition, Symmetry, and a Little ..."

Amir Pnueli (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics