@article{ArnoutM03, author = {Karine Arnout and Bertrand Meyer}, title = {Uncovering Hidden Contracts: The .NET Example}, journal = {IEEE Computer}, volume = {36}, number = {11}, year = {2003}, pages = {48-55}, urltopdf = {http://csdl.computer.org/comp/mags/co/2003/11/ry048abs.htm} }