Ó, M., & 		Gualandi, H.
2026 set  8.  Two Induction-Free Constructions For Finite Automata Determinization. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :