G. Wechsung, “Funktionen, die von pushdown-Automaten berechnet werden”, Acta Cybern, vol. 2, no. 2, pp. 115-134, Jan. 1973.