TY  - BOOK
AU  - Backhouse, Ronald C.
TI  - Programme,construction and verification
PY  - 1986///
CY  - Englewood Cliffs
PB  - Prentice Hall Internationals
ER  -