1. ANSI/X3/SPARC Study Group on Data Base Management Systems [1975] “Interim Report”, FDT (ACM SIGMOD Records) 7, 2 (1975).
2. Aho, A. V., Beeri, C. and Ullman, J. D. [1979] “The Theory of Joins in Relational Data Bases,” ACM Trans. on Database Systems 3, 3 (1979), 297–314.
3. Beeri, C., Bernstein, P. A. and Goodman, N. [1978] “A Sophisticate’s Introduction to Database Normalization Theory,” Proc. 4th Int. Conf. on Very Large Data Bases, Berlin (Sept. 1978), 113–124.
4. Chang, C. L. and Lee, R.C.T. [1973] Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York-London, 1973.
5. Codd, E. F. [1970] “A Relational Model for Large Shared Data Bases,” Comm. ACM 13, 6 (June 1970), 377–387.