de Souza, R. 2016 Jul 4. Sobre a minimização de transdutores sequenciais. Proceedings of the Theory of Computation Meeting (ETC). [Online] :