TY  - BOOK
AU  - Goldblatt, Robert
TI  - Axiomatising the logic of computer programming
T2  - Lecture notes in conputer science; 130
SN  - 0387112103
U1  - 519.4 
PY  - 1982///
CY  - New York
PB  - Springer-Verlag
N1  - Includes index
ER  -