Ramos, F., 		Roggia, K., & 		Silva, R.
2024 Dec  4.  Brzozowski’s Algorithm for Automata Minimization Verified in Coq. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :