Algorithms for Reducing Rollbacks in Concurrency Control by Certification. - Mostafa A. Bassiouni; U. Khamare (BIT, 1987)