Cardoso, Diogo, 		Foss, Luciana, E 		Du Bois, Andre.
" A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (17 novembro 2021)