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