1. Dan Craigen, Susan Gerhart, Ted Ralston: An International Survey of Industrial Applications of Formal Methods. Reports to be published by NIST, NRL, and AECB, 1993.
2. Susan Gerhart, Dan Craigen, Ted Ralston: Observations on Industrial Practice Using Formal Methods. In Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, (May 1993).
3. Dan Craigen, Susan Gerhart, Ted Ralston: Comments on the Industrial Usage of Z. In Proceedings of the 7th Z User Meeting, London, England, (December 1992).