1. Arnout, K., Simon, R.: The.NET Contract Wizard: Adding Design by Contract to languages other than Eiffel. In: TOOLS 39 (39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems), July 2001, pp. 14–23. IEEE Computer Society, Los Alamitos (2001)
2. Arnout, K.: Eiffel for.NET: An Introduction. Component Developer Magazine (September- October 2002), Available from http://www.devx.com/codemag/Article/8500 (Accessed October 2002)
3. Arnout, K., Meyer, B.: Extracting implicit contracts from.NET components. Microsoft Research Summer Workshop 2002, Cambridge, UK, September 9-11 (2002), Available from http://se.inf.ethz.ch/publications/arnout/workshops/microsoft_summer_research_workshop_2002/contract_extraction.pdf (Accessed September 2002)
4. Arnout, K.: Extracting Implicit Contracts from.NET Libraries. 4th European GCSE Young Researchers Workshop 2002, in conjunction with NET.OBJECT DAYS 2002. Erfurt, Germany, October 7-10 (2002), IESE-Report No. 053.02/E, October 21, 2002, p 20–24, Available from http://www.cs.uni-essen.de/dawis/conferences/Node_YRW2002/papers/karine_arnout_gcse_final_copy.pdf (Accessed October 2002)
5. Arnout, K.: Extracting Implicit Contracts from.NET Libraries. In: OOPSLA 2002 (17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications), OOPSLA 2002 Companion, Posters. Seattle USA, November 4-8, pp. 104–105. ACM, New York (2002)