Cardoso, D., 		Foss, L., & 		Du Bois, A.
(2021).
A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
In <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 49–57). Porto Alegre: SBC.