D. Cardoso, L. Foss, and A. Du Bois.
" 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>, Joinville, 2021, pp. 49–57.