Jede mit Stackautomaten berechenbare Funktion ist elementar. Horst Müller — 1972 Archiv für mathematische Logik und Grundlagenforschung
Stackautomaten in Labyrinthen. Horst Müller — 1971 Archiv für mathematische Logik und Grundlagenforschung
Über die mit Stackautomaten berechenbaren Funktionen. Horst Müller — 1970 Archiv für mathematische Logik und Grundlagenforschung