Diogo Cardoso, Luciana Foss, and Andre Du Bois. 2021.
 A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System. In <em>Proceedings of the VI Workshop-School of Theoretical Computer Science</em>, November 17, 2021, Online, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/weit.2021.18916">https://doi.org/10.5753/weit.2021.18916</a>.