Traditional software development's effects on safety. - Lon D. Gowen; May Yee Yap (CBMS, 1993)

Specifying and verifying safety-critical software systems. - Lon D. Gowen (CBMS, 1994)

Assessing traditional verification's effectiveness on safety-critical software systems. - Lon D. Gowen; James S. Collofello (J. Syst. Softw., 1994)

Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop. - Lon D. Gowen (CBMS, 1995)