Jede mit Stackautomaten berechenbare Funktion ist elementar. Horst Müller (1972) Archiv für mathematische Logik und Grundlagenforschung