В.Ф. Турчин. Метаалгоритмический язык. - Кибернетика № 4, 1968, с. 116−124. DJVU PDF
С.Н. Флоренцев, В.Ю. Олюнин, В.Ф. Турчин. РЕФАЛ-интерпретатор. В сб.: Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков. - Киев: 1968, с. 114-133. DJVU PDF
В.Ф. Турчин. Транслятор с АЛГОЛа, написанный на языке РЕФАЛ. В сб.: Труды 1-ой всесоюзной конференции по программированию. В. Процессоры с известных языков. - Киев: 1968, с. 134-151. DJVU PDF
В.Ф. Турчин, В.И. Сердобольский. Язык Рефал и его использование для преобразования алгебраических выражений. - Кибернетика № 3, 1969, с. 58−62. DJVU PDF
С.Н. Флоренцев, В.Ю. Олюнин, В.Ф. Турчин. Эффективный интерпретатор для языка РЕФАЛ. - М.:ИПМ АН СССР, 1969, препринт № 29. - 103 с. PDF DJVU
В.Ф. Турчин. Программирование на языке РЕФАЛ. 1. Неформальное введение в программирование на языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 41. - 55 с. DJVU PDF
В.Ф. Турчин. Программирование на языке РЕФАЛ. 2. Формальное описание и принципы реализации РЕФАЛа. - М.:ИПМ АН СССР, 1971, препринт № 43. - 60 с. DJVU PDF
В.Ф. Турчин. Программирование на языке РЕФАЛ. 3. Программирование на базисном РЕФАЛе. - М.:ИПМ АН СССР, 1971, препринт № 44. - 53 с. DJVU PDF
В.Ф. Турчин. Программирование на языке РЕФАЛ. 4. Использование рекурсивных переменных в языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 48. - 47 с. DJVU PDF
В.Ф. Турчин. Программирование на языке РЕФАЛ. 5. Использование метафункций в языке РЕФАЛ. - М.:ИПМ АН СССР, 1971, препринт № 49. - 55 с. DJVU PDF
В.Ф. Турчин. Эквивалентные преобразования программ на РЕФАЛе. В сб.: Автоматизированная система управления строительством. Труды ЦНИПИАСС, N 6. - Москва: ЦНИПИАСС, 1974, c. 36-68. DJVU PDF
В.А. Фисун. РЕФАЛ (описание языка и инструкция для РЕФАЛ-интерпретатора). - М.:ИПМ АН СССР, 1974. - 45 с. DJVU PDF
В.Ф. Турчин. РЕФАЛ-макрокод. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации. - Тбилиси: ВЦ АН ГССР, 1975, с. 150-165. DJVU PDF
И.Б. Задыхайло, Е.И. Котов, А.Н. Мямлин, Л.А. Поздняков, В.К. Смирнов. Вычислительная система с внутренним языком повышенного уровня. - М.: ИПМ АН СССР, 1975, препринт № 41. - 42 с. DJVU PDF
Н.Г. Арсентьева, Э.К.Янова. Опыт программирования одной лингвистической задачи на языке РЕФАЛ. - М.: ИПМ АН СССР, 1976, препринт № 113. - 37 с. DJVU PDF
С.А.Романенко. История рефал-компилятора. - Ноябрь 1976. HTML
ЦНИПИАСС. Справка об авторстве С.А.Романенко. 1977. DJVU PDF
Базисный Рефал и его реализация на вычислительных машинах. - М.: ЦНИПИАСС, 1977, с. 92-95. DJVU PDF
Ю.И. Янов. Метод сверток для разрешения свойств формальных систем. - М.: ИПМ АН СССР, 1977, препринт № 11. - 41 с. DJVU PDF
V.F. Turchin. The Language REFAL - The Theory of Compilation and Metasystem Analysis. Courant Institute Report #20, New York, 1980. DJVU, PDF
Valentin F. Turchin. The Use of Metasystem Transition in Theorem Proving and Program Optimization. In Proceedings of the 7th Colloquium on Automata, Languages and Programming, J. W. de Bakker and Jan van Leeuwen (Eds.), pages 645–657, 1980. DJVU, PDF
Valentin F. Turchin. The Cybernetic Foundation of Mathematics. Technical report of the City College, City University of New York, 1983. DJVU PDF
Valentin F. Turchin. The Cybernetic Foundation of Mathematics. I. The Concept of Truth. Unpublished, 1983. DJVU PDF
Valentin F. Turchin. The Cybernetic Foundation of Mathematics. II. Interpretation of Set Theory. Unpublished, 1983. DJVU PDF
Н.Н. Мансуров, Л.К. Эйсымонт. Реализация расширенного языка Рефал на односвязных списках с кольцевыми цепочками. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт № 20. - 32 с. DJVU PDF
В.Л. Кистлеров. Принципы построения языка алгебраических преобразований FLAC. - М.:Институт проблем управления, 1987, препринт. - 39 с. DJVU PDF
V.F. Turchin. The Algorithm of Generalization in the Supercompiler. In Proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 531–549, 1988. DJVU PDF
С.М. Абрамов. Метавычисления и логическое программирование. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.23-26. PDF DJVU
В.Л. Кистлеров. Интенсиональная интерпретация типов данных в модели вычислений языка FLAC. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.44-46. PDF DJVU
Анд.В. Климов. Объектно-функциональная модель вычислений. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.49-53. PDF DJVU
Арк.В. Климов. Об одном методе получения быстродействующих параллельных алгоритмов. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.53-56. PDF DJVU
А.Ю. Романенко. Построение обратных функций. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.62-65. PDF DJVU
Carsten K. Holst. Syntactic currying: yet another approach to partial evaluation. Student Report 89-7-6, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July 1989. DJVU, PDF
Torben Æ. Mogensen. Binding Time Aspects of Partial Evaluation. PhD thesis. DIKU, University of Copenhagen, Denmark. March, 1989. DJVU, PDF
V.F. Turchin. The Basics of Metacomputation. The School “Metacomputation in the Language Refal”, Obninsk, July 11-23, 1990. DJVU, PDF
V.F. Turchin. The Supercompiler. The School “Metacomputation in the Language Refal”, Obninsk, July 11-23, 1990. DJVU, PDF
Bjarne Steensgaard and Morten Marquard. Parameter Splitting in a Higher Order Functional Language. Student Project 90-7-1. DIKU, University of Copenhagen, Denmark. August, 1990. DJVU, PDF
Morten Heine Sørensen. Turchin’s Supercompiler Revisited. Master’s thesis, Department of Computer Science, University of Copenhagen, 1994. DIKU-rapport 94/17. PDF
V.F. Turchin. On generalization of lists and strings in supercompilation. Technical Report CSc. TR 96-002, City College of the City University of New York, 1996. DJVU PDF