@ARTICLE{Barnett-Schulte02b,
author = "Mike Barnett and Wolfram Schulte",
title = "Runtime Verification of {.NET} Contracts",
journal = "The Journal of Systems and Software",
publisher = "Elsevier",
year = 2003,
vol = 65,
number = 3,
pages = {199--208}
}