Cardoso, D., Foss, L., & Du Bois, A. 2022 out 3. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :