1. M.A.Babushkin. Heyting categories with involution and their applications. Ph.D.Thesis.-Moscow State Pedagog.Inst., 1988.
2. C.Beeri, M.Y.Vardi. Formal systems for tuple and equality generating dependencies. SIAM J. Comput., 1984, v. 13, NI, pp.76–98.
3. N.D.Belnap. How a computer should think. In: Contemporary aspects of philosophy. Proc. of the Oxford Int. Symposium, 1976.
4. E.F.Codd. Extending the Database Relational Model to Capture More Meaning. ACM Trans on Datebase Systems, 1979, v.4, N4, pp. 397–434.
5. T. Imielinski, W. Lipski. The relational model of data and cylinric algebras. J. of Comp. and Syst. Sci., 1984, v. 28, pp. 80–102.