TY  - BOOK
AU  - Manna,Z
TI  - Lectures on the logic of computer programming
T2  - CBMS-NSF regional conference series in applied mathematic 31
SN  - 0-89871-164-9
U1  - 18 
PY  - 1980///
CY  - Philadelphia
PB  - SIAM
ER  -