TY  - BOOK
AU  - Backhouse, Roland  
TI  - Program construction: calculating implementations from specifications
SN  - 8126504889
U1  - 005.1 B127p 
PY  - 2004///
CY  - New Delhi
PB  - Wiley Dreamtech
KW  - Computer programming
ER  -