Formal Aspects of Serializability in Database Concurrency Control (1979)

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