TY  - BOOK
AU  - Hehner, Eric C. R.
AU  - Hoare, C.A.R. (Series editor)
TI  - The Logic of Programming
T2  - Prentice Hall international series in computer science
SN  - 0135399661
U1  - 512.923 
PY  - 1984///
CY  - London
PB  - Prentice hall International inc
KW  - Natural Number
KW  - Pro Languages
N1  - includes bibliographical reference and index
ER  -