TY  - BOOK
AU  - Hehner, Eric C. R.
TI  - The logic of programming
SN  - 0-13-539966-1
U1  - 001.642 Heh 
PY  - 1984///
CY  - Prentice-hall international, United kingdom
ER  -