1. S. Abiteboul and R Hull. IFO: A formal semantic database model. ACM TODS, 12(4), (1987).
2. Kim B. Bruce, Peter Wegner, An algebraic Model of Subtype and Inheritance”, in: Advances in Database Programming Languages, ACM Press, (1990).
3. P. Chen. The entity-relationship model — toward a unified view of data. ACM TODS, 1(1) 9–36 (1976).
4. W. Chen, declarative specification and evaluation of database updates, Proc. 2nd Int'l Conf. DOOD'91, 1991.
5. J. Chudziak, H. Rybinski, and J. Vorbach. On Mapping Semantic Data Model Schemata into First_Order Logic, ICS Research Report Warsaw University of Technology, 13/93.