Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award - Hoare, T (ACM, 2012)