1. Proceedings of a Symposium at the Franklin Institute,1957
2. Codification of programming knowledge: graph algorithms;Barstow;Yale University, Department of Computer Science, TR 149,1978
3. Knowledge-based Program Construction;Barstow,1979
4. Observations on the interaction of coding and efficiency knowledge in the PSI program synthesis system;Barstow,1976
5. On automating the construction of programs;Buchanan;Stanford University, Computer Science Department, AIM-236,1974