Joost Engelfriet Hendrik Jan Hoogeboom Finitary Compositions of Two-way Finite-State Transductions. 111-123 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/143422w0253h8644/ db/journals/fuin/fuin80.html#EngelfrietH07