Cardoso, D., 		Foss, L., & 		Du Bois, A.
2021 set 30.  A Graph Transformation System formalism for correctness of Transactional Memory algorithms. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :