Pereira, João Victor Lopez, 		Hashimoto, Daniel Kiyoshi, 		Gualandi, Hugo Musso, E 		Paixão, João.
" Correct by Construction Gram-Schmidt Process" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)