TY  - BOOK
AU  - Backhouse, Roland.
TI  - Program construction : calculating implementations from specifications
U1  - 005.1  B127P 
PY  - 2004///
CY  - N D
PB  - Wiley
ER  -