"Two-Way Finite State Transducers and Monadic Second-Order Logic."

Joost Engelfriet, Hendrik Jan Hoogeboom (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics