1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC 2004, pp. 202–211. ACM, New York (2004)
2. Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Handbook of formal languages, vol. 1, pp. 111–174. Springer, Heidelberg (1997)
3. Lecture Notes in Computer Science;P. Baldan,2008
4. Lecture Notes in Computer Science;Bouajjani,1997
5. Cachat, T., Walukiewicz, I.: The complexity of games on higher order pushdown automata. CoRR, abs/0705.0262 (2007)