Reflections on the Work of C.A.R. Hoare Roscoe, A. W. B. ; Jones, Cliff B. W. ; Wood, Kenneth R. R. Abstract Publication: Reflections on the Work of C.A.R. Hoare: Pub Date: 2010 DOI: 10.1007/978-1-84882-912-1 Bibcode: 2010rwch.book.....R