Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions". Diana Schmidt (1977) Archiv für mathematische Logik und Grundlagenforschung
Primitive recursive notations for infinitary formulas Kenneth A. Bowen (1974) Colloquium Mathematicae