Helmut Wächter: ConTracts: a means for improving reliability in distributed computing. Compcon 1991: 574-578