The theory of database concurrency control
Christos H. Papadimitriou · Cumulative Index of Computer Aided Architectural Design · 1986
Comparison, analysis and explanation of the known techniques for concurrency control. It examines in detail various aspects of correctness for concurrent executions, including serializability, deadlocks and reliability