TY  - BOOK
AU  - Zohar Manna ,Richard Waldinger
TI  - The logical basis for computer programming
SN  - 0-201-18260-2
U1  - 004.43 
PY  - 1985///
CY  - 
PB  - Addison-Wesley Publishing
ER  -