A Comparative Analysis of Functional Correctness. - Douglas D. Dunlop; Victor R. Basili (ACM Comput. Surv., 1982)

On the Design of a Special-purpose Scientific Programming Language. - John C. Knight; Douglas D. Dunlop (Softw. Pract. Exp., 1983)

A Heuristic for Deriving Loop Functions. - Douglas D. Dunlop; Victor R. Basili (IEEE Trans. Software Eng., 1984)

Generalizing Specifications for Uniformly Implemented Loops. - Douglas D. Dunlop; Victor R. Basili (ACM Trans. Program. Lang. Syst., 1985)

Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign. - Mark R. Hartoog; James A. Rowson; Prakash D. Reddy; Soumya Desai; Douglas D. Dunlop; Edwin A. Harcourt; Neeti Khullar (DAC, 1997)

The Case for Implementing Core Descriptive Embedded Metadata at the Smithsonian. - Stephanie Ogeneski Christensen; Douglas D. Dunlop (Dublin Core Conference, 2010)