de Souza, Rodrigo. " Sobre a decomposição de um transdutor bidirecional finitamente valorado" Anais do Encontro de Teoria da Computação (ETC) [Online], (30 junho 2020)