1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of STOC 2004, pp. 202–211. ACM Press, New York (2004)
2. Lecture Notes in Computer Science;R. Alur,2004
3. Lecture Notes in Computer Science;T. Ball,2000
4. Pitcher, C.: Visibly pushdown expression effects for XML stream processing. In: Programming Language Technologies for XML, pp. 1–14 (2005)
5. Lecture Notes in Computer Science;A. Murawski,2005