Pereira, J., 		Hashimoto, D., 		Gualandi, H., & 		Paixão, J.
(2026).
 Correct by Construction Gram-Schmidt Process.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 80-87). Porto Alegre: SBC.
doi:10.5753/sblp.2026.28541