TY  - BOOK
AU  - Goldblatt, Robert
TI  - Axiomatising the logic of computer programming
T2  - Lecture notes in computer science
SN  - 3540112103
U1  - 005.13 23
PY  - 1982///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
KW  - Programming languages
ER  -