TY  - BOOK
AU  - Barstow D R
TI  - Knowledge-based program construction
U1  - 005.1 
PY  - 1979///
CY  - N Y
PB  - Elsevier North Holland
KW  - Computer programming
ER  -