Wallace, D.
, Kuhn, D.
and Cherniavsky, J.
(1991),
Proceedings of the Workshop on High Integrity Software; Gaithersburg, MD; Jan. 22-23, 1991, Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed March 23, 2025)