TY  - BOOK
AU  - Backhouse,Roland C.
TI  - Program construction and verification
SN  - 0137291531 :
AV  - QA76.7 .B28 1986
U1  - 005�19 
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall International
KW  - Computer programming
ER  -