TY  - BOOK
AU  - Manna,Zohar
AU  - Waldinger,Richard
TI  - The logical basis for computer programming: deductive reasoning 
SN  - 0201182602 (hardcover)
PY  - 1985///
CY  - [S.l.]
PB  - Addison-Wesley Professional
UR  - http://www.amazon.com/exec/obidos/ASIN/0201182602/chopaconline-20
ER  -