TY  - BOOK
AU  - Green, Cordell.
AU  - Barstow, David.
TI  - On program synthesis knowledge
T2  - Stanford University CS-77-639,AIM-306
U1  - 001.6424 
PY  - 1977///
CY  - California
PB  - Stanford University
ER  -