REFERENCES

1. А.Н.Колмогоров, В.А.Успенский. К определению алгоритма. Успехи математических наук, т.13, вып.4(82), 1958, с. 3-28.

2. П.Линдсей, Д.Норман. Переработка информации у человека. Введение в психологию. "Мир", М., 1974.

3. М.Минский. Структура для представления знания. В сб.: Психология машинного зрения (ред. П.Уинстон), "Мир", М., 1978, с. 249-338.

4. Нго Ань Тует. Автоматическое порождение программ просмотров для транслятора на основе описания атрибутов. Диссертация на соискание ученой степени кандидата физ.-матем. наук, Ленингр. гос. ун-т, Ленинград, 1982.

5. Н.Н.Непейвода. Об одном методе построения правильной программы из правильных подпрограмм. Программирование, 1979, N 1, с. 15-25.

6. М.Б.Округин. Реализация ассоциативной сети данных во внешней памяти. В сб.: Прикладная информатика, "Финансы и статистика", 1984, вып.1(6), с.48-53.

7. Г.С.Цейтин, М.И.Откупщикова, Б.М.Лейкина, Т.Н.Невлева. Система анализа текста с процедурным представлением словарной информации. В сб.: Актуальные вопросы практической реализации систем автоматического перевода, МГУ, М., 1982, ч.1, с. 205-231.

8. Э.Ф.Скороходько. Опыт построения лексики информационного языка на основе ступенчатого кодирования значений терминов. В сб.: Тезисы докладов на конференции по обработке информации, машинному переводу и автоматическому чтению текста, ВИНИТИ, М., 1961, с. 92-93.

9. А.М.Степанов. Фреймы и параллельные смешанные вычисления. ВЦ СОАН, препринт 297, Новосибирск, 1981.

10. А.М.Степанов. Экспериментальная система программирования. ВЦ СОАН, препринт 305, Новосибирск, 1981.

11. К.А.Тинн, Э.Х.Тыугу, М.И.Унт. Система модульного программирования для ЦВМ Минск-22. В сб.: ВКП-2. Труды Всесоюзной конференции по программированию, Заседание Г, Новосибирск, 1970, с. 23-29.

12. Дж.Милопулос, А.Борджида, П.Кохен, Н.Руссопулос, Дж.Цоцос, Х.Уонг. TORUS - система для управления данными, понимающая естественный язык. В сб.: Тезисы IV Международной объединенной конференции по искусственному интеллекту, М., 1975, т.6, с. 116-137.

13. Г.С.Цейтин. О соотношении естественного языка и формальной модели. В сб.: Вопросы кибернетики. Общение с ЭВМ на естественном языке, М., 1982, с. 20-34.

14. G.S.Tseytin. From logicism to proceduralism. An autobiographical account. In: Lecture Notes in Computer Science, 122, Springer Verlag, 1981, pp. 390-396. Pycский перевод: Г.С.Цейтин. От логицизма к процедурализму. На автобиографическом материале. В сб.: Алгоритмы в современной математике и ее приложениях, ВЦ СОАН, Новосибирск, 1982, ч.2, с. 181-193.