de Souza, R.
2020 jun 30.  Sobre a decomposição de um transdutor bidirecional finitamente valorado. Anais do Encontro de Teoria da Computação (ETC). [Online] :