conf/sigmod/88 Henry F. Korth Gregory D. Speegle Formal Model of Correctness Without Serializability. 379-386 1988 SIGMOD Conference db/conf/sigmod/sigmod88.html#KorthS88 http://doi.acm.org/10.1145/50202.50248 db/conf/sigmod/KorthS88.html SIGMOD88/P379.PDF conf/vldb/BancilhonKK85 journals/jacm/BeeriBG89 books/aw/BernsteinHG87 journals/cacm/EswarranGLT76 conf/pods/FeketeLMW87 conf/vldb/KimLMP84 journals/jacm/Korth83 ... conf/sosp/LiskovCJS87 ... journals/acr/Lynch86 ... conf/sigmod/MossGG86 journals/jacm/Papadimitriou79b ... conf/pods/PapadimitriouK82 conf/vldb/WeikumS84 journals/jacm/Yannakakis82