6. N. Leveson, C. Turner "An Investigation of the Therac-25 Accidents", - Computer, Vol.26, N.7, July 1993, p. 18-41

7. N. Leveson "Safeware: System Safety and Computers", Addison-Wesley, 1995

8. "An Assessment of Space Shuttle Flight Software Development processes", - Committee for Review of Ovеrsight Mechanisms for Space Shuttle Flight Software Development Processes, National Research Council, 1993

9. J.-R. Abrial "The B-Book: Assigning Programs to Meanings", //Cambridge University Press, 1996

10. К.Пешио "иклаус Вирт о Культуре Разработки ПО", //Открытые Системы, ╧1(27), 1998, сc.41-44,

11. В. Аджиев "MS: Корпоративная Культура Разработки ПО", //Открытые Системы, ╧1(27), 1998, с.45-51,