The theory of database concurrency control - Papadimitriou, Christos H. (Principles of computer science series, 1986)