TY  - BOOK
AU  - Backhouse, Roland 
TI  - Program Construction: calculating implementations and specifications
SN  - 9780470848821
U1  - 005.1 
PY  - 2003///
CY  - England 
PB  - John Wiley & Sons 
KW  - Computer Science
N1  - Includes Index
ER  -