Language-Level Complex
Transactions
C. Scott Ananian