1. Г. Майерс. Надежность программного обеспечения. — М.: Мир, 1980.
2. E.W. Dijkstra. The Structure of the THE-Multiprogramming // Communications of the ACM. 1968, 11(5).
3. Е.А. Жоголев. Введение в технологию программирования (конспект лекций). — М.:  
4. «ДИАЛОГ-МГУ», 1994.
5. М. Зелковец, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. — М.: Мир, 1982.
6. К. Зиглер. Методы проектирования программных систем. — М.: Мир, 1985.
7. Дж. Фокс. Программное обеспечение и его разработка. — М.: Мир, 1985.
8. Б. Боэм, Дж. Браун, Х. Каспар и др. Характеристики качества программного обеспечения. — М.: Мир, 1981.
9. В.В. Липаев. Качество программного обеспечения. — М.: Финансы и статистика, 1983.
10. Э. Дейкстра. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. — М.: Мир, 1975.
11. Ф.П. Брукс, мл. Как проектируются и создаются программные комплексы. — М.: Наука, 1979.
12. R.C. Holt. Structure of computer programs: A Survey // Proceedings of the IEEE, 1975, 63(6).
13. Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. — М.: Мир, 1980.
14. Требования и спецификации в разработке программ. — М.: Мир, 1984.
15. В.Н. Агафонов. Спецификация программ: понятийные средства и их организация. — Новосибирск: Наука (Сибирское отделение), 1987.