Funktionen, die von pushdown-Automaten berechnet werden - Wechsung, Gerd (Acta Cybernetica, 1973)