Anthony Discolo Tim Harris Simon Marlow Simon L. Peyton Jones Satnam Singh Lock Free Data Structures Using STM in Haskell. 65-80 2006 conf/flops/2006 FLOPS http://dx.doi.org/10.1007/11737414_6 db/conf/flops/flops2006.html#DiscoloHMJS06