Borin Júnior, Flávio, E 		Vizzotto, Juliana Kaizer.
" Translating Finite-Typed Symmetric Pattern Matching into Ket" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)