Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt. Prettier concurrency: purely functional concurrent revisions. In Koen Claessen, editor, Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011. pages 83-94, ACM, 2011. [doi]