Computer Interval Arithmetic: Definition and Proof of Correct Implementation. - Donald I. Good; Ralph L. London (J. ACM, 1970)

The MIX computer as an educational tool. - E. M. Greenawalt; Donald I. Good (ACM Annual Conference (1), 1972)

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis. - Raymond T. Yeh; Donald I. Good; David R. Musser (SIGCSE, 1973)

Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386). - Larry C. Ragland; Donald I. Good (Commun. ACM, 1973)

Provable programs and processors. - Donald I. Good (AFIPS National Computer Conference, 1974)

Provable programming. - Donald I. Good (Reliable Software, 1975)

An interactive program verification system. - Donald I. Good; Ralph L. London; W. W. Bledsoe (Reliable Software, 1975)

SICSOFT (Tutorial Session). - Donald I. Good; Lloyd D. Fosdick (ACM Annual Conference, 1976)

SIGSOFT tutorial on program verification (Tutorial Session). - Donald I. Good; Lloyd D. Fosdick (ACM Annual Conference, 1976)

Constructing verified and reliable communications processing systems. - Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1977)

A Report On The Development Of Gypsy. - Donald I. Good; Richard M. Cohen; Lawrence W. Hunter (ACM Annual Conference (1), 1978)

Beyond factorial (Abstract of presentation). - Donald I. Good (AFIPS National Computer Conference, 1978)

Principles of Proving Programs Correct in Gypsy. - Donald I. Good; Richard M. Cohen; James G. Keeton-Williams (POPL, 1979)

A preliminary evaluation of verifiability in Ada. - Anand R. Tripathi; William D. Young; Donald I. Good (ACM Annual Conference, 1980)

Generics and verification in Ada. - William D. Young; Donald I. Good (SIGPLAN, 1980)

HAL/S/V: a verifiable subset for HAL/S. - Anand R. Tripathi; William D. Young; Donald I. Good; James C. Browne (ACM SIGPLAN Notices, 1981)

Steelman and the verifiability of (preliminary) ADA. - William D. Young; Donald I. Good (ACM SIGPLAN Notices, 1981)

Toward building verified, secure systems. - Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1981)

A verified encrypted packet interface. - Michael K. Smith; Ann E. Siebert; Benedetto L. DiVito; Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1981)

Overview of verification systems. - Dan Craigen; Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1985)

A second generation verification environment. - Donald I. Good; Robert S. Boyer; J Strother Moore (ACM SIGSOFT Softw. Eng. Notes, 1985)

NRL invitational workshop on testing and proving: two approaches to assurance. - Carl E. Landwehr; Susan L. Gerhart; John D. McLean; Donald I. Good; Nancy Leveson (ACM SIGSOFT Softw. Eng. Notes, 1986)

Computing is a Physical Science (Abstract). - Donald I. Good (VDM Europe, 1988)

Mathematical Methods for Digital Systems Development. - Donald I. Good; William D. Young (VDM Europe (2), 1991)