J. Pereira, D. Hashimoto, H. Gualandi, and J. Paixão.
" Correct by Construction Gram-Schmidt Process", in <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, São Paulo/SP, 2026, pp. 80-87, doi: <a href="https://doi.org/10.5753/sblp.2026.28541">https://doi.org/10.5753/sblp.2026.28541</a>.