TY  - BOOK
AU  - R.C. BACKHOUSE
TI  - Programming  Construction and Verification
SN  - 0-13-729146-9
PY  - 1986///
CY  - LONDON
PB  - prentice -hall of India  pvt Ltd
ER  -