R. de Souza.
"Sobre a decomposição de um transdutor bidirecional finitamente valorado", in <em>Anais do V Encontro de Teoria da Computação</em>, Cuiabá, 2020, pp. 73-76, doi: <a href="https://doi.org/10.5753/etc.2020.11093">https://doi.org/10.5753/etc.2020.11093</a>.