de Souza, Rodrigo. " On the decomposition of a finite-valued two-way transducer" Proceedings of the Theory of Computation Meeting (ETC) [Online], (30 June 2020)