Pereira, J., 		Hashimoto, D., 		Gualandi, H., & 		Paixão, J.
2026 set  8.  Correct by Construction Gram-Schmidt Process. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :