D. Cardoso, L. Foss, and A. Du Bois.
" A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System", in <em>Anais do VI Workshop-Escola de Informática Teórica</em>, Online, 2021, pp. 9-16, doi: <a href="https://doi.org/10.5753/weit.2021.18916">https://doi.org/10.5753/weit.2021.18916</a>.