@incollection{raskin:servais:2008,
    Author = {Raskin, Jean-Fran{\c c}ois and Servais, Fr{\'e}d{\'e}ric},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, LeslieAnn and Halld{\'o}rsson, Magn{\'u}sM. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
    File = {Visibly Pushdown Transducers - Raskin, Servais (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-70582-6},
    Keywords = {visibly pushdown transducers},
    Pages = {386-397},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Visibly Pushdown Transducers},
    URL = {http://dx.doi.org/10.1007/978-3-540-70583-3\_32},
    Volume = {5126},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70583-3\_32},
    date-added = {2013-11-13 11:39:34 +0000},
    date-modified = {2013-11-13 11:40:20 +0000},
    doi = {10.1007/978-3-540-70583-3_32}
}

@incollection{raskin:servais:2008, Author = {Raskin, Jean-Fran{\c c}ois and Servais, Fr{\'e}d{\'e}ric}, BookTitle = {Automata, Languages and Programming}, Editor = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, LeslieAnn and Halld{\'o}rsson, Magn{\'u}sM. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor}, File = {Visibly Pushdown Transducers - Raskin, Servais (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-70582-6}, Keywords = {visibly pushdown transducers}, Pages = {386-397}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Visibly Pushdown Transducers}, URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_32}, Volume = {5126}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70583-3_32}, date-added = {2013-11-13 11:39:34 +0000}, date-modified = {2013-11-13 11:40:20 +0000}, doi = {10.1007/978-3-540-70583-3_32} }