The serializability of concurrent database updates (1979)

by C H Papadimitriou
Venue:Journal of the ACM