High Integrity Computing. - W. J. Cullyer (FTRTFT, 1988)

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

"Birds-of-a-Feather-Group" on Safety Critical Systems. - W. J. Cullyer; John Alexander McDermid (NATO ASI RTC, 1992)