Helmut Wächter Andreas Reuter The ConTract Model Database Transaction Models for Advanced Applications Morgan Kaufmann 1992 219-263 db/books/collections/transaction92.html#WachterR92