Hartmut Wedekind: Die Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen. GI Jahrestagung 1976: 282-300