TY  - BOOK
AU  - Constable, Robert L.
AU  - O'Donnell, Michael J.
TI  - PROGRAMMING LOGIC
U1  - 001.642 
PY  - 1978///
CY  - Cambridge
PB  - Winthrop Pub.
KW  - Pl/Cv (Computer Program Language)
KW  - Computer Programy -- Testing
KW  - Logic, Symbolic And Mathematical
N1  - References : P. 370-381
ER  -