Formal aspects of serializability in database concurrency control (1979)

by P A Bernstein, D W Shipman, W S Wong
Venue:Software Engineering, IEEE Transactions on