Meduna Alexander; Kolar Dusan: Regulated pushdown automata. In: Acta cybernetica, (14) 4. pp. 653-664. (2000)