Arthur J. Bernstein Philip M. Lewis Shiyong Lu Semantic Conditions for Correctness at Different Isolation Levels. 57-66 2000 ICDE http://doi.ieeecomputersociety.org/10.1109/ICDE.2000.839387 db/conf/icde/icde2000.html#BernsteinLL00