Cardoso, D., 		Foss, L., & 		Du Bois, A.
2021 nov 17.  A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :