Catriel Beeri Philip A. Bernstein Nathan Goodman A Concurrency Control Theory for Nested Transactions. 45-62 1983 PODC db/conf/podc/podc83.html#BeeriBG83