Green, C. Cordell. 1969. “Application of Theorem Proving to Problem Solving.” SRI Project 7494. Menlo Park, California: AI Center, SRI Center International.
Green, C. Cordell and Barstow, David R. 1978. “On Program Synthesis Knowledge.”Artificial Intelligence 10(3): 241–279.
Medress, M. F., Cooper, F. S., Forgie, J. William, Green, C. Cordell, Klatt, Dennis H., O’Malley, M. H., Neuburg, E. P., et al. 1977. “Speech Understanding Systems: Report of a Steering Committee.”Artificial Intelligence 9(3): 307–316.