Joost Engelfriet Hendrik Jan Hoogeboom MSO definable string transductions and two-way finite state transducers http://arxiv.org/abs/cs.LO/9906007 1999 CoRR cs.LO/9906007 db/journals/corr/corr9906.html#cs-LO-9906007 informal publication