TY  - BOOK
AU  - RONALD C BACK HOUSE
TI  - Programming Construction and Verification
SN  - 0-13-729146-9
PY  - 1986///
CY  - DELHI
PB  - prentice -hall of India  pvt Ltd
ER  -