Wechsung, G. (1973). Funktionen, die von pushdown-Automaten berechnet werden. Acta Cybernetica, 2(2), 115-134. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3108