Joachim Biskup Christian Eckert Über die Durchsetzung von zustandsabhängigen Sicherheitsspezifikationen. 20-24 1993 Grundlagen von Datenbanken db/conf/gvd/gvd93.html#BiskupE93