Philip A. Bernstein, David W. Shipman. The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst., 5(1):52-68, 1980. [doi]
@article{BernsteinS80,
title = {The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1)},
author = {Philip A. Bernstein and David W. Shipman},
year = {1980},
doi = {10.1145/320128.320133},
url = {http://doi.acm.org/10.1145/320128.320133},
tags = {control systems},
researchr = {https://researchr.org/publication/BernsteinS80},
cites = {0},
citedby = {0},
journal = {ACM Trans. Database Syst.},
volume = {5},
number = {1},
pages = {52-68},
}