TY  - BOOK
AU  - Backhouse Roland
TI  - Program Construction And Verification 
SN  - 0-13-729146-9
PY  - 1986///
CY  - London
PB  - Prentice-Hall
KW  - Electronic Digital Computers - Programming
ER  -