"256","Reflections on the work of C.A.R. Hoare","","http://deploy-eprints.ecs.soton.ac.uk/256/","UNSPECIFIED","Jones, Cliff B and Roscoe, A W and Wood, Ken"," 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 ","","2010"