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