de Souza, Rodrigo.
"Sobre a minimização de transdutores sequenciais." <em>Anais do I Encontro de Teoria da Computação,
Porto Alegre, 2016</em>. SBC, 2016,  
pp.840-843.