Cardoso, Diogo, Luciana Foss, and Andre Du Bois.
"A Graph Transformation System formalism for correctness of Transactional Memory algorithms." <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação,
Joinville, 2021</em>. SBC, 2021,  
pp.49–57.