В.Ф. Турчин. Метаалгоритмический язык. - Кибернетика № 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
В.Ф. Турчин. Эквивалентные преобразования рекурсивных функций, описанных на языке РЕФАЛ. В сб.: Труды симпозиума "Теория языков и методы построения систем программирования". - Киев-Алушта: 1972, с. 31-42. DJVU scan PDF scan DJVU LaTeX PDF LaTeX
В.Ф. Турчин. Эквивалентные преобразования программ на РЕФАЛе. В сб.: Автоматизированная система управления строительством. Труды ЦНИПИАСС, N 6. - Москва: ЦНИПИАСС, 1974, c. 36-68. DJVU PDF
В.А. Фисун. РЕФАЛ (описание языка и инструкция для РЕФАЛ-интерпретатора). - М.:ИПМ АН СССР, 1974. - 45 с. DJVU PDF
В.Ф. Турчин. РЕФАЛ-макрокод. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации. - Тбилиси: ВЦ АН ГССР, 1975, с. 150-165. DJVU PDF
И.Б. Задыхайло, Е.И. Котов, А.Н. Мямлин, Л.А. Поздняков, В.К. Смирнов. Вычислительная система с внутренним языком повышенного уровня. - М.: ИПМ АН СССР, 1975, препринт №41. - 42 с. DJVU PDF
ЦНИПИАСС. Справка об авторстве С.А.Романенко. 1977. DJVU PDF
Базисный Рефал и его реализация на вычислительных машинах. - М.: ЦНИПИАСС, 1977, с. 92-95. DJVU PDF
Ю.И. Янов. Метод сверток для разрешения свойств формальных систем. - М.: ИПМ АН СССР, 1977, препринт №11. - 41 с. DJVU PDF
Ю.И. Янов. Несколько теорем о свертках. - М.: ИПМ им.М.В.Келдыша АН СССР, 1978, препринт №95. - 73 с. 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
Р.Ф. Гурин. Метод оптимизации программ обработки списков. - М.: ИТЭФ, 1984, препринт № 57. - 15 с. 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
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
V.F. Turchin and A.P. Nemytykh. Metavariables: their implementation and use in program transformation. CSc. TR 95-012, City College of the City University of New York, 1995. 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
V.F. Turchin. A Dialogue on Metasystem Transition. July 12, 1999. PDF