TY  - BOOK
AU  - Manna,Zohar
AU  - Waldinger,Richard
TI  - The deductive foundations of computer programming: a one-volume version of "the logical basis for computer programming" 
SN  - 0201548860
PY  - 1993///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Electronic digital computer
KW  - Programming
KW  - Logic, Symbolic and mathematical
N1  - Condensed and simplified version of the original work; Bibliography: p. 673-677
ER  -