Christos H. Papadimitriou The serializability of concurrent database updates. 631-653 1979 26 J. ACM 4 http://doi.acm.org/10.1145/322154.322158 db/journals/jacm/jacm26.html#Papadimitriou79b JACM/26/P0631.pdf