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