Philip A. Bernstein David W. Shipman Wing S. Wong Formal Aspects of Serializability in Database Concurrency Control. 203-216 1979 5 IEEE Trans. Software Eng. 3 db/journals/tse/tse5.html#BernsteinSW79