Cardoso, Diogo, Luciana Foss, and Andre R. Du Bois.
" A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System." <em>Anais do VI Workshop-Escola de Informática Teórica,
Online, 2021</em>. SBC, 2021,  
pp.9-16.