Composable Memory Transactions for Java Using a Monadic Intermediate Language. - Rafael Bandeira; André Rauber Du Bois; Maurício L. Pilla; Juliana Kaizer Vizzotto; Marcelo Machado (SBLP, 2015)