F. Ramos, K. Roggia, and R. Silva.
" Brzozowski’s Algorithm for Automata Minimization Verified in Coq", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 107-119.