Diogo Cardoso, Luciana Foss, and Andre Du Bois. 2022. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In Anais do XXVI Simpósio Brasileiro de Linguagens de Programação, outubro 03, 2022, Uberlândia, Brasil. SBC, Porto Alegre, Brasil, 15–23.