...-inaccessible ordinals, collapsing functions and a recursive notation system. Gerhard Jäger (1984) Archiv für mathematische Logik und Grundlagenforschung
Новая последовательность редукций для арифметики Г.Е. Минц (1979) Zapiski naucnych seminarov Leningradskogo