Diogo Cardoso, Luciana Foss, and Andre Du Bois. 2022. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In Proceedings of the 26th Brazilian Symposium on Programming Languages, October 03, 2022, Uberlândia, Brasil. SBC, Porto Alegre, Brasil, 15–23.