Proceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991 ( ) Author Wallace, Dolores R Kuhn, D. Richard Cherniavsky...