The choice of computer languages for use in safety-critical systems. - W. J. Cullyer; S. J. Goodenough; Brian A. Wichmann (Softw. Eng. J., 1991)

Object-Oriented Design of an Air-Defence Simulator. - R. H. Pierce; I. Marshall; S. J. Goodenough (Ada-Europe, 1993)