TY  - BOOK
AU  - Manna Zohar
TI  - Lectures on the logic of computer programming
SN  - 0-89871-164-9
U1  - 005.131 
PY  - 1980///
CY  - Philadelphia
PB  - Society for Industrial & Applied Mathematics
KW  - Computer programming
KW  - Computer science
KW  - Programming language
ER  -