D. Cardoso, L. Foss, and A. Du Bois.
" A Graph Transformation System formalism for correctness of Transactional Memory algorithms", in <em>Proceedings of the 25th Brazilian Symposium on Programming Languages</em>, Joinville, 2021, pp. 49–57.