D. Cardoso, L. Foss, and A. Du Bois.
"Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation", in <em>Anais do XXVI Simpósio Brasileiro de Linguagens de Programação</em>, Uberlândia, 2022, pp. 15–23.