TY  - BOOK
AU  - A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
TI  - Reflections on the Work of C.A.R. Hoare
SN  - 978-1-84882-912-1
PY  - 2010///
CY  - New York
PB  - Springer US
KW  - Computer Science
ER  -