Cardoso, D., 		Foss, L., & 		Du Bois, A.
2021 Sep 30.  A Graph Transformation System formalism for correctness of Transactional Memory algorithms. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :