Joachim Baran Howard Barringer A Grammatical Representation of Visibly Pushdown Languages. 1-11 2007 conf/wollic/2007 WoLLIC http://dx.doi.org/10.1007/978-3-540-73445-1_1 db/conf/wollic/wollic2007.html#BaranB07