Cardoso, Diogo, 		Foss, Luciana, E 		Du Bois, Andre.
" Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (3 outubro 2022)