Christos H. Papadimitriou The Theory of Database Concurrency Control Computer Science Press 1986 0-88175-027-1