Reflections on the Work of C.A.R. Hoare - Roscoe, A.W; Jones, Cliff B.; Wood, Kenneth R. (Springer London : Imprint: Springer, 2010)