TY  - BOOK
AU  - Manna Zohar
AU  - Waldinger Richard
TI  - Logical basis for computer programming: v 1 - Deductive reasoning
U1  - 005.1 
PY  - 1985///
CY  - Reading
PB  - Addison Wesley
KW  - Computer programming
KW  - Deductive reasoning
ER  -