Lock-free data structures using STMs in Haskell

Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, and Satnam Singh
April 2006

In Eighth International Symposium on Functional and Logic Programming (FLOPS'06)