| |
| 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 | EE | Donald I. Good, Richard M. Cohen, James Keeton-Williams: Principles of Proving Programs Correct in Gypsy. POPL 1979: 42-52 |
| 1978 | ||
| 4 | EE | 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 | EE | Donald I. Good, Ralph L. London: Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17(4): 603-612 (1970) |
| 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] |