Список литературы
Фальк В.Н. Теоретическая модель языка программирования высокого уровня // Программирование. 1987. №4.
Мороховец Ю.Е., Мусина М.Д., Фальк В.Н. Принципы построения и возможности реализации базового машинного языка высокого уровня // Сб. трудов МЭИ. Вып. 86. М.: МЭИ, 1986.
Чернов С.А. Исследование и реализация базовой вычислительной машины с внутренним языком высокого уровня // Автореф. дисс. … канд. техн. наук. М.: МЭИ. 2003.
Рендел Б., Рассел Л. Реализация Алгола-60 // М.: Мир, 1967.
Пересмотренное сообщение об АЛГОЛЕ 68 // Под ред. А. П. Ершова. М.: Мир, 1979.
Котов В.Е. Введение в теорию схем программ // Наука: Новосибирск, 1978.
Landin P. J. A Correspondence between ALGOL-60 and Church's λ-notation // CACM, V. 8, № 2,3. 1965.
Wardsworth C.P. Semantics and Progmatics of the Lambda-Calculus // Ph.D. Dissertation, University of Oxford, 1971.
Klop J.W. Combinatory reduction systems // PhD. Thesis. Mathematish Centrum. Amsterdam, 1980.
Knuth D., Bendix P. Simple word problems in universal algebras // Computational Problems in Abstract Algebra. Pergamos Press, 1970.
Ершов А.П. Смешанные вычисления // В мире науки. 1984. № 6.
Фальк В.Н. О языке функциональных абстракций // «Цифровая вычислительная техника и программирование». 1970. Вып. 6.
1
,
–равно по
определению.
2
– область определения функции 
.