1. Y. LIEN: On the Semantics of the Entity-Relationship Data Model.
2. F. GOLSHANI, T.S.E. MAIBAUM, M.R. SADLER: A Modal System for Database Specification and Query Language Support. In M. Schkolnik, C. Thanos (eds.): Proc. 9th International Conference on Very Large Data Bases 1983, Florence (Italy) (331 – 339)
3. U.W. LIPECK, 11.-D. EHRICH, M. GOGOLLA: Specifying Admissibilityof Dynamic Database Behaviour Using Temporal Logic. In [SB085] (145 – 157)
4. U.W. LIPECK: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209, Springer-Verlag 1989
5. G. JAESCHKE, H.-J.SCHEK: Remarks on the Algebra of Non First Nor-