TY  - BOOK
ID  - deploy275
UR  - http://www.springer.com/computer/general+issues/book/978-1-84882-911-4
A1  - Jones, Cliff B.
A1  - Roscoe, A.W.
A1  - Wood, Kenneth R.
TI  - Reflections on the work of C.A.R. Hoare
Y1  - 2010///
PB  - Springer
AV  - none
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>