"Correctness of concurrency control and implications in distributed databases."

Dushan Z. Badal (1979)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics