TY  - BOOK
AU  - Goldblatt, Robert
AU  - 
TI  - Axiomatising the logic of computer programming
T2  - Lecture notes in Computer Science
U1  - 518.542 
PY  - 1982///
CY  - Berlin
PB  - Springer-Verlag
ER  -