title: Reflections on the work of C.A.R. Hoare
subject: Methodology
publisher: Springer
contributor: Jones, Cliff B
contributor: Roscoe, A W
contributor: Wood, Ken
date: 2010
type: Book
type: PeerReviewed
relation: http://www.springer.com/computer/general+issues/book/978-1-84882-911-4
identifier:   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     
relation: http://deploy-eprints.ecs.soton.ac.uk/256/