Cardoso, Diogo, Luciana Foss, and Andre R. Du Bois.
" Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation." <em>Proceedings of the 26th Brazilian Symposium on Programming Languages,
Uberlândia, 2022</em>. SBC, 2022,  
pp.15–23.