1. Thomas Alspough, et al. “Software Requirements for the A-7E Aircraft.” NRL/FR/5530-92-9194, Naval Research Laboratories, 1992.
2. J.R. Abrial. “Introduction to Set Notations.” manuscript draft of July 1, 1991.
3. J.R. Abrial. “Abstract Machines.” manuscript draft of July 1, 1991.
4. J.R. Abrial. “A Refinement Case Study.” manuscript draft of January 9, 1991.
5. G. Archinoff, et al. “Verification of the Shutdown System Software at the Darlington Nuclear Generating Station.” International Conference on Control and Instrumentation in Nuclear Installations, Glasgow, May 1990.