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