@INPROCEEDINGS{Barnett-Schulte-Tillmann03,
AUTHOR = "Mike Barnett and Wolfram Schulte and Nikolai Tillmann",
title = "{.NET} Contracts: Attaching Specifications to Components",
booktitle = "Practical Foundations of Business System Specifications",
editor = "Haim Kilov and Kenneth Baclawski",
year = "2003",
pages = {83--98},
ISBN = "1-4020-1480-5"
}