TY  - BOOK
AU  - "Backhouse, Roland C"
TI  - Program Construction and Verification
SN  - 137291531
CY  - Prentice Hall 
N1  - includes index and biblioraphy
ER  -