Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award (Proceedings of the 39th ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2012‚ Philadelphia‚ Pennsylvania‚ USA‚ January 22−28‚ 2012, 2012)

(untitled) - Hoare, T