Philip A. Bernstein Nathan Goodman Ming-Yee Lai Two Part Proof Schema for Database Concurrency Control. 71-84 1981 Berkeley Workshop db/conf/berkeley/berkeley81.html#BernsteinGL81