@inproceedings{ICALP-B-2008-RaskinS,
author = "Jean-François Raskin and Frédéric Servais",
booktitle = "{Proceedings of the 35th International Colloquium on Automata, Languages and Programming, Track B: Logic, Semantics, and Theory of Programming}",
doi = "10.1007/978-3-540-70583-3_32",
isbn = "978-3-540-70582-6",
pages = "386--397",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Visibly Pushdown Transducers}",
volume = 5126,
year = 2008,
}
Tags: