TY  - BOOK
AU  - Backhouse,Roland C.
TI  - Program construction and verification
SN  - 0137291531 :
U1  - 005 BAC 
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall International
KW  - Computer programming
KW  - MIS
N1  - Includes index; Bibliography: p. 220-223
ER  -