TY  - BOOK
AU  - Hoare,  C. A. R.
AU  -  Shepherdson,  J. C.
TI  - Mathematics logic and programming languages.
U1  - 511.3 M42 
ER  -