"Prettier concurrency: purely functional concurrent revisions."

Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics