On the need for fewer restrictions in changing compile-time environments. - David Lorge Parnas; John E. Shore; W. David Elliott (ACM SIGPLAN Notices, 1975)

Euclid and Modula. - David T. Barnard; W. David Elliott; David H. Thompson (ACM SIGPLAN Notices, 1978)

Abstract data types in Euclid. - Ernest Chang; Neil Kaden; W. David Elliott (ACM SIGPLAN Notices, 1978)

Index to the Euclid report. - W. David Elliott (ACM SIGPLAN Notices, 1978)

On proving the absence of execution errors. - W. David Elliott (1980)