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