Green, Cordell. On program synthesis knowledge by Cordell Green, David Barstow. - California Stanford University 1977 - 60p - Stanford University CS-77-639,AIM-306 . Dewey Class. No.: 001.6424 / N7712