1. Alexandrescu A (2001) Modern C++ design, generic programming and design patterns applied. Addison-Wesley, Reading
2. Arnout K, Meyer B (2003) Finding Implicit Contracts in .NET Components. In: de Boer F, Bonsangue M, Graf S, de Roever WP (eds) Proceedings of FMCO 2002 (Ist international symposium on formal methods for components and objects, Leiden, The Netherlands, November 2002), LNCS vol 2852. Springer, Berlin Heidelberg New York, pp 285–318
3. Arnout K, Meyer B (2003) Uncoverring hidden contracts: the .NET example. IEEE Comput 36(11):48–55
4. Arnout K, Bezault E (2004) How to get a Singleton in Eiffel? In: Proceedings of TOOLS USA 2003 (44th international conference on the technology of object-oriented languages and systems), Santa Barbara, CA, September 2003, in J Object Technol 3(4), 75–95. Available (March 2006) at http://www.jot.fm/issues/issue_2004_04/article5
5. Arnout K (2004) From patterns to components, PhD thesis, ETH Zurich. Available (2006) at http://se.ethz.ch/ people/arnout/patterns/