Andreas Reuter Helmut Wächter The ConTract Model. 39-43 1991 http://sites.computer.org/debull/91MAR-CD.pdf 14 IEEE Data Eng. Bull. 1 db/journals/debu/debu14.html#ReuterW91