Formal models of correctness without serializability (1988)

by Korth HF, G Speegle
Venue:In: Proceedings of the ACM SIGMOD International Conference on Management of Data