Philip A. Bernstein David W. Shipman A Formal Model of Concurrency Control Mechanisms for Database Systems. 189-205 1978 Berkeley Workshop db/conf/berkeley/berkeley78.html#BernsteinS78