1. Csallner, C., Smaragdakis, Y.: JCrasher: An automatic robustness tester for Java. SPE 34, 1025–1050 (2004)
2. Du Toit, S.: Working Draft, Standard for Programming Language C++ (2013),
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3691.pdf
3. ECMA. ECMA-335: Common Language Infrastructure (CLI). ECMA (2012)
4. Fähndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: SAC, pp. 2103–2110. ACM (2010)
5. Lecture Notes in Computer Science;M. Fähndrich,2011