A theorem in database concurrency control - Papadimitriou, Christos H. 1949- (Mass. Inst. of Technology, Laboratory for Computer Science, 1980)