TY  - BOOK
AU  - Barstow,David R.
TI  - Knowledge-based program construction
SN  - 0444003401
PY  - 1979///
CY  - New York
PB  - Elsevier North-Holland
KW  - Electronic digital computers
KW  - Programming
N1  - Includes indexes; Bibliography: p.249-255
ER  -