Ramos, F., 		Roggia, K., & 		Silva, R.
(2024).
 Brzozowski’s Algorithm for Automata Minimization Verified in Coq.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 107-119). Porto Alegre: SBC.