Formal model of correctness without serializability (1988)

by H Korth, G Speegle
Venue:In SIGMOD: International Conference on Management of Data