TY  - BOOK
AU  - Messinger, James
TI  - Logic and Design of Computer Programs
SN  - 1576761304
U1  - 621.392 MES 
PY  - 2005///
CY  - Boston
PB  - Jones and Bartlett
KW  - Logic Programming
KW  - Computer architecture
ER  -