Language-Level Complex Transactions
 C. Scott Ananian