1. J.-R. Abrial, Assigning Programs to Meaning, Prentice Hall, 1993.
2. H. Barringer, R. Kuiper, Hierarchical Development of Concurrent Systems in a Temporal Logic Framework, Springer Verlag Lecture Notes in Computer Science Vol 197, Seminar in Concurrency, 1984.
3. V. R. Basili, G. Caldiera, Identifying and Qualifying Reusable Software Components, Computer, Feb. 1991, 61–71.
4. B. W. Boehm, A Spiral Model of Software Development and Enhancements, IEEE Computer, Vol 21, No 5, May 1988.
5. G. Booch, Software Engineering with Ada, 2nd Edition, Benjamin Cummings, 1987.