1. Boehm, B. W., (1975). Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. Proceedings, International Conf. on Reliable Software, Los Angeles, Calif. 105–113.
2. Freemann, P., and Wassermann, A. I., (1977). Tutorial on Software Design Techniques. IEEE Catalog No. 76CH1145–2C.
3. A design methodology for user oriented computer systems;Ramamoorthy;AFIPS PRESS,1978
4. Conn, A. (1977). Specification of reliable large-scale software systems. University of California, Berkeley, PH.D. thesis 1977.
5. Workshop Report: The Science of Design;Gonzalez;Computer,1979