Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Diana Schmidt (1977) Archiv für mathematische Logik und Grundlagenforschung