256	  Jones, Cliff B and Roscoe, A W and Wood, Ken, eds.  (2010) Reflections on the work of C.A.R. Hoare.    Springer.  ISBN 978-1-84882-911-4