The design and implementation of a simple programming language for microcomputers. - J. Craig Cleaveland; C. D. Satten (AFIPS National Computer Conference, 1977)

Logical Structure Specification and data type definition. - Billy G. Claybrook; James Craig Cleaveland; Donald J. Criscione (ACM Annual Conference, 1979)

Programming languages considered as abstract data types. - J. Craig Cleaveland (ACM Annual Conference, 1980)

Mathematical specifications. - J. Craig Cleaveland (ACM SIGPLAN Notices, 1980)

Building Application Generators. - J. Craig Cleaveland (IEEE Softw., 1988)

Dividing the software pie. - J. Craig Cleaveland; Janet A. Fertig; George W. Newsome (AT&T Tech. J., 1996)