TY  - BOOK
AU  - Gumb, Raymond D.
TI  - Programming logics : an introduction to verification and semantics
SN  - 0471605395
U1  - 001.6424 
PY  - 1989///
CY  - New York
PB  - John Wiley
KW  - Computer Programs -- Verification
KW  - Programming Languages (Electronic Computers) -- Semantics
ER  -