The correctness of concurrency control mechanisms in a system for distributed databases (SDD-1 (1980)

by P A BERNSTEIN, D W SHIPMAN
Venue:ACM Trans. Database Syst