Schütte, Kurt: Primitiv-rekursive Ordinalzahlfunktionen. München 1976. Sitzungsberichte: 1975,8. https://publikationen.badw.de/en/017697753