Die mit Nestedstackautomaten berechenbaren Funktionen sind elementar. Heinrich Beck (1975) Archiv für mathematische Logik und Grundlagenforschung