1. Bjork, L.A. Recovery scenario for a DB/DC system. Proc. ACM 73 Nat. Conf., Atlanta, Ga., pp.142–146.
2. Davies, C.T. Recovery semantics for a DB/DC system. Proc. ACM 73 Nat. Conf., Atlanta, Ga., pp.136–141.
3. A deadlock-free scheme for resource locking in a data-base environment;Chamberlin,1974
4. A relational model for large shared data banks;Codd;Comm. ACM,1970
5. Introduction to Metamathematics.;Kleene,1952