Ó, Matheus do, E 		Gualandi, Hugo Musso.
" Two Induction-Free Constructions For Finite Automata Determinization" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)