The use of theorem-proving techniques in question-answering systems. - C. Cordell Green; Bertram Raphael (ACM National Conference, 1968)

The Application of Theorem Proving to Question-Answering Systems - C. Cordell Green (Garland Publishing, New York, 1969)

Application of Theorem Proving to Problem Solving. - C. Cordell Green (IJCAI, 1969)

Some Rules For The Automatic Synthesis Of Programs. - C. Cordell Green; David R. Barstow (IJCAI, 1975)

Inferring LISP Programs From Examples. - David E. Shaw; William R. Swartout; C. Cordell Green (IJCAI, 1975)

SIGART(Tutorial Session). - Cordell Green; Richard Fikes; Martin Kay (ACM Annual Conference, 1976)

Automatic synthesis - programs and plans. - Cordell Green; Richard Fikes; Martin Kay (ACM Annual Conference, 1976)

The Design of the PSI Program Synthesis System. - C. Cordell Green (ICSE, 1976)

An Empirical Study of List Structure in Lisp. - Douglas W. Clark; C. Cordell Green (Commun. ACM, 1977)

The PSI program synthesis system, 1978 - An abstract. - Cordell Green (AFIPS National Computer Conference, 1978)

On Program Synthesis Knowledge. - C. Cordell Green; David R. Barstow (Artif. Intell., 1978)

A Note on Shared List Structure in LISP. - Douglas W. Clark; C. Cordell Green (Inf. Process. Lett., 1978)

Results in Knowledge-Based Program Synthesis. - C. Cordell Green; Richard P. Gabriel; Elaine Kant; Beverly I. Kedzierski; Brian P. McCune; Jorge V. Phillips; Steve Tappel; Stephen J. Westfold (IJCAI, 1979)

Software Technology in the 1990's: Using a New Paradigm. - Robert Balzer; Thomas E. Cheatham Jr.; C. Cordell Green (Computer, 1983)

Knowledge-based debugging: session summary. - Mark A. Linton; Robert Balzer; R. J. Cunningham; C. Cordell Green; Robert L. Sedlmeyer; Elliott Solloway; William R. Swartout; Pamela Zave (SIGSOFT, 1983)

What Is Program Synthesis? - C. Cordell Green (J. Autom. Reason., 1985)

Iteration in the software process. - Allen Goldberg; C. Cordell Green; Wolfgang Polak; Richard Jüllig (ISPW, 1986)

Formality Helps Scalability and Robustness. - C. Cordell Green (ACM Comput. Surv., 1996)

NSF workshop on a software research program for the 21st century. - Victor R. Basili; Laszlo A. Belady; Barry W. Boehm; Frederick P. Brooks Jr.; James Browne; Richard A. DeMillo; Stuart I. Feldman; Cordell Green; Butler W. Lampson; Duncan H. Lawrie; Nancy G. Leveson; Nancy A. Lynch; et al. (ACM SIGSOFT Softw. Eng. Notes, 1999)

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. - Alessandro Coglio; Cordell Green (VSTTE, 2005)

NASA's Exploration Agenda and Capability Engineering. - Daniel E. Cooke; Matt Barry; Michael Lowry; Cordell Green (Computer, 2006)

Intelligent Systems and Formal Methods in Software Engineering. - Bernhard Beckert; Tony Hoare; Reiner Hähnle; Douglas R. Smith; Cordell Green; Silvio Ranise; Cesare Tinelli; Thomas Ball 001; Sriram K. Rajamani (IEEE Intell. Syst., 2006)

Keynote address: the actual implementation will be derived from the formal specification – KBSA, 1983. - Cordell Green (ASE, 2010)