Список літератури. 1. Андерсон Р. Доказательство правильности програм

1. Андерсон Р. Доказательство правильности програм. - М., 1982. - 168 с.

2. Вирт Н. Систематическое программирование. Введение. - М., 1977.-183c.

3. Дейкстра З. Заметки по структурному программированию // Дал У., Дейкстра З., Хоор К. Структурное программирование. - М., 1975. -с. 7-9.

4. Э. Дейкстра Дисциплина программирования//М.:Мир.-1979.-350 с.

5. Манакова Е.И. Композиционная технология программирования задач численного анализа // Тез. V Всесоюз. шк. - семинара "Методы параллельных вычислений и их сложность". - Киев, 1982. - Ч.3. - С. 32-34.

6. Манакова Е.И. О функционаных структурах программ // Модели и системыІ обработки информации. - 1984. - ВЬІП. 3. - С. 33-38.

7. Редько В.Н.Композиции программ и композиционное программирование // Программирование, 1978. - N~ 5. - С. 3-24.

8. Редько В.Н. Основания композиционного программирования // Программирование, 1979. - K~ 3. - С. 3-13.

9. Редько И.В., Гришко Н.В. Экспликативное программирование в среде интеграции // Труды Международной научно-практической конференции по программированию. - Киев: 1998. - С. 191-196.

10. Редько В.Н., Гришко Н.В.. Редько И.В. Экспликативное программирование в среде логико-математических спецификаций // Труды Международной научно-практической конференции по программированию. - Киев: 1998. - С. 71-76.

11. Редько И.В. Процесологічні середовища моделювання // Проблемы программирования.-2003.-№1.-С.37 – 48

12. Редько И.В. Экспликативное моделирование в среде интеграции// Вестник Международного Соломонова университета. – 2000. – № 1. – С. 43-48.

13. Редько И.В. Экспликативный базис интеграционных сред // Пробл. программирования. — 2004. — №2. – С. 59-65.

14. Редько И. В. Экспликативное моделирование: интеграционные аспекты // Проблемы программирования. – 2000. – № 2. – С. 280-285.

15. Редько И.В. Загальна експлікація поняття дескриптивного процесу // Наукові вісті НТУУ «КПІ».–2003.–№3.–С.34-41

16. Редько И.В. Дескриптологическая среда моделирования предметных областей // Пробл. программирования. — 2002. — N 1. — С. 44-50.