TY  - BOOK
AU  - Hoare, C.A.R. ; Shepherdson, J.C. ed.
TI  - Mathematical logic and programming languages
SN  - 0-13-561465-1
U1  - 001.6424 Hoa/she 
PY  - 1985///
CY  - Prentice-hall international, New Jersey
ER  -