Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1972__15_137862, author = {Horst M\"uller}, title = {Jede mit {Stackautomaten} berechenbare {Funktion} ist elementar.}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {19--30}, publisher = {mathdoc}, volume = {15}, year = {1972}, zbl = {0255.02041}, url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137862/} }
Horst Müller. Jede mit Stackautomaten berechenbare Funktion ist elementar.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 19-30. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137862/