Jonathan P. Bowen and Michael G. Hinchey, “The Use of Industrial-Strength Formal Methods,” in:
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC 97).
Robert L. Vienneau, (Data and Analysis Center for Software), A Review of Formal Methods, (May 26 1993).
Software Security Assurance State-of-the-Art Report (SOAR) 95