John K. Lee Alan Fekete Multi-Granularity Locking for Nested Transactions: A Proof Using a Possibilities Mapping. 131-152 1996 33 Acta Inf. 2 db/journals/acta/acta33.html#LeeF96