Philip A. Bernstein, David W. Shipman: A Formal Model of Concurrency Control Mechanisms for Database Systems. Berkeley Workshop 1978: 189-205