Lock Free Data Structures Using STM in Haskell. - Anthony Discolo; Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Satnam Singh (FLOPS, 2006)