1. Rajeev Alur Loris D’Antoni and Mukund Raghothaman. 2015. DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. In POPL. ACM 125–137. Rajeev Alur Loris D’Antoni and Mukund Raghothaman. 2015. DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. In POPL. ACM 125–137.
2. Regular combinators for string transformations
3. From Two-Way Transducers to Regular Function Expressions
4. Monadic second-order definable graph transductions: a survey
5. Luc Dartois , Paulin Fournier , Ismaël Jecker , and Nathan Lhote . 2017 . On Reversible Transducers. In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 , July 10-14, 2017, Warsaw, Poland(LIPIcs, Vol. 80), Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 113:1–113:12. https://doi.org/10.4230/LIPIcs.ICALP. 2017.113 Luc Dartois, Paulin Fournier, Ismaël Jecker, and Nathan Lhote. 2017. On Reversible Transducers. In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland(LIPIcs, Vol. 80), Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 113:1–113:12. https://doi.org/10.4230/LIPIcs.ICALP.2017.113