Cardoso, D., 		Foss, L., & 		Du Bois, A.
(2021).
 A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
In <em>Proceedings of the 25th Brazilian Symposium on Programming Languages</em>, (pp. 49–57). Porto Alegre: SBC.