Ramos, F., 		Roggia, K., & 		Silva, R.
2024 dez  4.  Brzozowski’s Algorithm for Automata Minimization Verified in Coq. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :