Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's.

David Harel

Browse the full LICS paper archive.