Implementing Mass Storage Facilities in Operating Systems. - Donald L. Boyd (Computer, 1978)

Introduction to the WELLMADE Design Methodology. - Donald L. Boyd; Antonio Pizzarello (IEEE Trans. Software Eng., 1978)

An Overview of RDM: Rational Design Methodology. - Donald L. Boyd; Antonio Pizzarello; William T. Wood (The Use of Formal Specification of Software, 1979)

Abstraction and Refinement in RDM. - Donald L. Boyd; Antonio Pizzarello; William T. Wood (The Use of Formal Specification of Software, 1979)