TY  - BOOK
AU  - Backhouse, Roland C.
TI  - Program construction and verification
U1  - 001.642 
PY  - 1986///
CY  - Englewood Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Electronic Digital Computer -- Programming
KW  - Computer Programs
ER  -