Hat mitgewirkt an:
-
Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen
-
Zur dynamischen Integrität von Datenbanken : Grundlagen d. Spezifikation u. Überwachung
-
Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung
-
Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen