1. Military Standard Ada Programming Language (ANSI/MIL-STD-1815A-1983). American National Standards Institute, Jan. 1983.
2. M. Atkinson, P. Bailey, K. Chisholm, P. Cockshott, and R. Morrison. An approach to persistent programming. The Computer Journal, 26(4):360–365, 1983.
3. T. E. Bell, D. C. Bixler, and M. E. Dyer. An extendable approach to computer-aided software requirements engineering. IEEE Trans. on Software Engineering, SE3(1):49–60, Feb. 1977.
4. P. A. Bernstein. Database system support for software engineering. In Proceedings of the Ninth International Conference on Software Engineering, pages 166–178, IEEE Computer Society Press, Monterey, California, March 1987.
5. D. Bjorner. On the use of formal methods in software development. In Proceedings of the Ninth International Conference on Software Engineering, pages 17–29, IEEE Computer Society Press, Monterey, California, March 1987.