Helmut Wächter ConTracts - Verallgemeinerung klassischer DB-Transaktionen. 122-126 1993 Grundlagen von Datenbanken db/conf/gvd/gvd93.html#Wachter93