TY  - BOOK
AU  - Backhouse,Roland C
TI  - Program construction: calculating implementations from specifications 
SN  - 0470848820
PY  - 2003///
CY  - Chichester
PB  - Wiley
KW  - Computer programming
ER  -