doi dblp Precision Locking Algorithm for Nested Transactions Systems John K. Lee CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993