Visibly pushdown languages (2004)

by R Alur, P Madhusudan
Venue:In Symp. on Theory of Computing (STOC