Donald I. Good

	1991
7		Donald I. Good, William D. Young: Mathematical Methods for Digital Systems Development. VDM Europe (2) 1991: 406-430
	1988
6		Donald I. Good: Computing is a Physical Science (Abstract). VDM Europe 1988: 1-1
	1979
5		Donald I. Good, Richard M. Cohen, James Keeton-Williams: Principles of Proving Programs Correct in Gypsy. POPL 1979: 42-52
	1978
4		Donald I. Good, Richard M. Cohen, Lawrence W. Hunter: A Report On The Development Of Gypsy. ACM Annual Conference (1) 1978: 116-122
	1975
3		Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. IEEE Trans. Software Eng. 1(1): 59-67 (1975)
	1973
2		Larry C. Ragland, Donald I. Good: Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386). Commun. ACM 16(4): 257 (1973)
	1970
1		Donald I. Good, Ralph L. London: Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17(4): 603-612 (1970)

Coauthor Index

1	W. W. Bledsoe	[3]
2	Richard M. Cohen	[4] [5]
3	Lawrence W. Hunter	[4]
4	James Keeton-Williams	[5]
5	Ralph L. London	[1] [3]
6	Larry C. Ragland	[2]
7	William D. Young	[7]

Colors in the list of coauthors