1. Mark A. Ardis. A comparison of specification methods. Technical Report, Software Engineering Institute, Carnegie-Mellon University, 1991.
2. S.J. Garland, J.V. Guttag, and J.J. Horning. Debugging Larch Shared Language specifications. IEEE Transactions on Software Engineering, 16(9):1044–1057, September 1990.
3. David Guaspari. Penelope, an Ada verification system. In Proceedings of Tri-Ada '89, pages 216–224, Pittsburgh, PA, October 1989.
4. David Guaspari, Carla Marceau, and Wolfgang Polak. Formal verification of Ada programs. IEEE Transactions on Software Engineering, 16(9):1058–1075, September 1990.
5. R.M. Hueschen and J.W. McManus. Flight software requirements for the AI-developed control mode panel logic on Advanced Transport Operating Systems Transportation Systems Research Vehicle. Technical Report, NASA, 1988.