TY  - BOOK
AU  - Backhouse,Roland
TI  - Program construction: calculating implementations from specifications
SN  - 8126504889 (pbk)
U1  - 005.1 
PY  - 2004///c
CY  - New Delhi
PB  - Wiley Dreamtech
N1  - Index included
ER  -