TY  - BOOK
AU  - Manna, Zohar
AU  - Waldinger, Richard
TI  - Logical basis for computer programming: vol:Deductive reasoning, v.1
N1  - D6,8(B) M5.1
ER  -