de Souza, Rodrigo. "Sobre a decomposição de um transdutor bidirecional finitamente valorado." Anais do V Encontro de Teoria da Computação, Cuiabá, 2020. SBC, 2020, pp.73-76.