1. Fast method for testing quantified relational calculus assertions;Bernstein,1982
2. Overview of multidatabase transaction management;Breitbart;The VLDB Journal,1992
3. Quasi serializability: A correctness criterion for global concurrency control in interbase;Du,1989
4. Database Transaction Models for Advanced Applications,1992