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
Primitiv-rekursive Funktionen auf Termmengen. Friedrich-Karl Mahn (1969) Archiv für mathematische Logik und Grundlagenforschung