Composable Memory Transactions. - Harris, Tim; Marlow, Simon; Jones, Simon Peyton (Communications of the ACM, 2008)