A. Meduna and D. Kolar, “Regulated pushdown automata”, Acta Cybern, vol. 14, no. 4, pp. 653-664, Jan. 2000.