Meduna, A. and Kolar, D. 2000. Regulated pushdown automata. Acta Cybernetica. 14, 4 (Jan. 2000), 653-664.