TY  - BOOK
AU  - Zohar Manna, Richard Waldinger
TI  - Logical Basis for Computer Programming
SN  - 0-201-18261-0
U1  - 004.423 
PY  - 1990///
CY  - 
PB  - Addison-Wesley Publishing
ER  -