Cardoso, D., 		Foss, L., & 		Du Bois, A.
2022 Oct  3.  Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :