Rodrigo de Souza. 2020. Sobre a decomposição de um transdutor bidirecional finitamente valorado. In Anais do V Encontro de Teoria da Computação, junho 30, 2020, Cuiabá, Brasil. SBC, Porto Alegre, Brasil, 73-76. DOI: https://doi.org/10.5753/etc.2020.11093.