TY  - BOOK
AU  - Backhouse, Roland C.
TI  - Program construction: : calculating implementations from specifications
SN  - 9780470864548
AV  - 005.1 BAC 
PY  - 2003///
CY  - England
PB  - Wiley
KW  - Program construction : calculating implementations from specifications
KW  - Roland C Backhouse
KW  - Computer programming
KW  - Software Development & Engineering Tools
KW  -  fundamental tools for a programmer
ER  -