Meduna, Alexander, and Dusan Kolar. 2000. “Regulated Pushdown Automata”. Acta Cybernetica 14 (4), 653-64. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3557.