Visibly Pushdown Languages. (2004)

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