Rewriting Concurrent Haskell programs to STM - Silva Neto, Francisco Miranda Soares da (2014)