Visibly pushdown languages (2004)

by R Alur, P Madhusudan
Venue:In Proc. of STOC