Pereira, João Victor Lopez, Daniel Kiyoshi Hashimoto, Hugo Musso Gualandi, and João Paixão.
" Correct by Construction Gram-Schmidt Process." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.80-87.