Reflections on the work of C.A.R. hoare - Roscoe, A.W; Jones, Cliff B.; Wood, Kenneth R. (History of Computing, 2010)