TY  - BOOK
AU  - MANNA,ZOHAR
TI  - LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING
SN  - NCST
U1  - 719 
PY  - 1980///
CY  - PHILADELPHIA
PB  - OTH
ER  -