Complementary Definitions of Programming Language Semantics - James E. Donahue (Springer, 1976)

Encapsulated data types and generic. - Alan J. Demers; James E. Donahue; Ray T. Teitelbaum; John H. Williams (Design and Implementation of Programming Languages, 1976)

Locations Considered Unnecessary. - James E. Donahue (Acta Informatica, 1977)

Surveyor's Forum: A Criticism of Sampler. - James E. Donahue (ACM Comput. Surv., 1977)

Data Types as Values: Polymorphism, Type-Checking, Encapsulation. - Alan J. Demers; James E. Donahue; Glenn Skinner (POPL, 1978)

On the Semantics of "Data Type". - James E. Donahue (SIAM J. Comput., 1979)

A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. - Robert L. Constable; James E. Donahue (ACM Trans. Program. Lang. Syst., 1979)

Data Types, Parameters, and Type Checking. - Alan J. Demers; James E. Donahue (POPL, 1980)

"Type-Completeness" as a Language Design Principle. - Alan J. Demers; James E. Donahue (POPL, 1980)

The Semantics of Lazy (and Industrious) Evaluation. - Robert Cartwright; James E. Donahue (Symposium on LISP and Functional Programming, 1982)

Making Variables Abstract: An Equational Theory for Russell. - Alan J. Demers; James E. Donahue (POPL, 1983)

Coordinating Independent Atomic Actions. - David K. Gifford; James E. Donahue (COMPCON, 1985)

Software Development in the Cedar Programming Environment. - James E. Donahue (GI Jahrestagung, 1985)

Integrating Programming Languages with Database Systems. - James E. Donahue (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Integration mechanisms in Cedar. - James E. Donahue (SLIPE, 1985)

Data Types Are Values. - James E. Donahue; Alan J. Demers (ACM Trans. Program. Lang. Syst., 1985)

Whiteboards: A Graphical Database Tool. - James E. Donahue; Jennifer Widom (ACM Trans. Inf. Syst., 1986)

The Modula-3 Type System. - Luca Cardelli; James E. Donahue; Mick J. Jordan; Bill Kalsow; Greg Nelson (POPL, 1989)

Modula-3 language definition. - Luca Cardelli; James E. Donahue; Lucille Glassman; Mick J. Jordan; Bill Kalsow; Greg Nelson (ACM SIGPLAN Notices, 1992)