Cardoso, Diogo, 		Foss, Luciana, E 		Du Bois, Andre.
" A Graph Transformation System formalism for correctness of Transactional Memory algorithms" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (30 setembro 2021)