TY  - BOOK
AU  - Constable R L
AU  - O'Donnell M J
TI  - Programming logic : with an introduction to the PL/CV verifier
SN  - 0-87626-726-6
U1  - 005.131 
PY  - 1978///
CY  - Cambridge
PB  - C U P
KW  - Computer science
KW  - Programming logic
ER  -