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