Wechsung, G. 1973. Funktionen, die von pushdown-Automaten berechnet werden. Acta Cybernetica. 2, 2 (Jan. 1973), 115-134.