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