Jean-François Raskin Frédéric Servais Visibly Pushdown Transducers. 386-397 2008 ICALP (2) https://doi.org/10.1007/978-3-540-70583-3_32 conf/icalp/2008-2 db/conf/icalp/icalp2008-2.html#RaskinS08