TY  - BOOK
AU  - Backhouse Roland C
TI  - Program construction and varification
T2  - Prentice hall international series in computer science
U1  - D65,8(B)92, M6 
PY  - 1986///
CY  - Englewood
PB  - cliffs Prentice hall       
KW  - Computer science
ER  -