"275","Reflections on the work of C.A.R. Hoare","","http://deploy-eprints.ecs.soton.ac.uk/275/","Jones, Cliff B. and Roscoe, A.W. and Wood, Kenneth R.","UNSPECIFIED"," Jones, Cliff B. and Roscoe, A.W. and Wood, Kenneth R. (2010) Reflections on the work of C.A.R. Hoare. Springer. ","Cliff.Jones@ncl.ac.uk,,","2010"