title: Reflections on the work of C.A.R. Hoare
creator: Jones, Cliff B.
creator: Roscoe, A.W.
creator: Wood, Kenneth R.
publisher: Springer
date: 2010
type: Book
type: NonPeerReviewed
relation: http://www.springer.com/computer/general+issues/book/978-1-84882-911-4
identifier:   Jones, Cliff B. and Roscoe, A.W. and Wood, Kenneth R.  (2010) Reflections on the work of C.A.R. Hoare.    Springer.      
relation: http://deploy-eprints.ecs.soton.ac.uk/275/