Visibly pushdown languages (2004)

by R Alur, P Madhusudan
Venue:In Proc. 36th Annual ACM Symposium on Theory of Computing STOC