ICE: an environment for integrity-centered database design - Gertz, Michael; Lipeck, Udo W. (Formale Grundlagen für den Entwurf von Informationssystemen, 1994)
Keywords: Konferenzschrift