de Souza, R. (2020). Sobre a decomposição de um transdutor bidirecional finitamente valorado. In Anais do V Encontro de Teoria da Computação, (pp. 73-76). Porto Alegre: SBC. doi:10.5753/etc.2020.11093