Bruno Guillon Martin Kutrib Andreas Malcher Luca Prigioniero Reversible Pushdown Transducers. 354-365 2018 DLT https://doi.org/10.1007/978-3-319-98654-8_29 conf/dlt/2018 db/conf/dlt/dlt2018.html#GuillonKMP18