Text this: Introduction to the Theory of Nested Transactions