Rajeev Rastogi Sharad Mehrotra Yuri Breitbart Henry F. Korth Abraham Silberschatz On Correctness of Nonserializable Executions. 68-82 1998 56 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss56.html#RastogiMBKS98