Cardoso, Diogo, 		Foss, Luciana, AND 		Du Bois, Andre.
" Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation" <em>Proceedings of the Brazilian Symposium on Programming Languages (SBLP)</em> [Online], (3 October 2022)