Stefan Conrad Zur Verifikation von Objekteigenschaften. 40-44 1993 Grundlagen von Datenbanken db/conf/gvd/gvd93.html#Conrad93