Определение.
Алгоритмический язык является метаязыком, если в нем все три характеристики величины:
структура, название и значение — являются объектами воздействия языка.
http://mi.mathnet.ru/zvmmf8423
В. В. Чернюгов, Алгоритмический метаязык АЛМЕТ,
Ж.вычисл. матем. и матем. физ., 1969, том 9, номер 6, 1419–1423
Ранняя история суперкомпиляции
https://deep-econom.livejournal.com/272773.html
Турчин В.Ф.. Метаязык для формального описания алгоритмических языков, сб. "Цифровая вычислительная техника и программирование", изд-во "Советское радио", М.-Л., 1966.
Турчин В.Ф. Метаалгоритмический язык. — Кибернетика № 4, 1968. С. 116−124. DJVU , PDF
http://pat.keldysh.ru/~roman/doc/Turchin/1968-Turchin--Metaalgoritmicheskij_yazyk--ru.pdf