TY  - BOOK
AU  - Hehner,Eric C.R.
TI  - The logic of programming
T2  - Prentice-Hall international series in computer science
U1  - 001.64 
PY  - 1984///
CY  - Englewood Cliffs, London
PB  - Prentice-Hall
KW  - Computer programming
ER  -