Л И Т Е Р А Т У Р А.
1.Турчин В.Ф. Метаязык для формального описания алгоритмических языков // Цифровая вычислительная техника и программирование. - М.: Советское радио, 1966. - С.116-119.
2.Базисный Рефал и его реализации на вычислительных машинах: Методические рекомендации. - М.: ЦНИПИАСС,1977. - 258 с.
3.Программное обеспечение СМ ЭВМ. Операционная система с разделением функций. РАФОС. Алгоритмический язык рекурсивных функций РЕФАЛ. Руководство программиста.т.5,кн.8.
4.Кострикин А.И. Введение в алгебру. - М.: Наука, 1977. - 496 с.
5.Мендельсон Э. Введение в математическую логику. - М.: Наука, 1976. - 288 с.