Donald L. Boyd

Introduction to the WELLMADE design methodology

Antonio Pizzarello, Donald L. Boyd, 1978, ICSE '78.

Implementing Mass Storage Facilities in Operating Systems

Donald L. Boyd, 1978, Computer.

Rational Design Methodology.

Antonio Pizzarello, Donald L. Boyd, Stanely C Vestal, 1978 .

An Overview of RDM: Rational Design Methodology

Antonio Pizzarello, William T. Wood, Donald L. Boyd, 1979, The Use of Formal Specification of Software.

Abstraction and Refinement in RDM

Antonio Pizzarello, William T. Wood, Donald L. Boyd, 1979, The Use of Formal Specification of Software.