1. B. Meyer. Design by contract. In B. Meyer and M. D., editors, Advances in Object-Oriented Software Engineering. Prentice–Hall, Engewood Cliffs, NJ, 1992.
2. P. Spies, C. Eckert, M. Lange, D. Marek, R. Radermacher, F. Weimer, and H.-M. Windisch. Sprachkonzepte zur Konstruktion verteilter Systeme. Technical Report TUM-I9618, SFB 342/09/96 A, Technische Universitaet Muenchen, Germany, 1996.
3. C. Eckert and M. Pizka. Improving resource management in distributed systems using language-level structuring concepts. The Journal of Supercomputing, 13:35–55, 1999.
4. R. Kramer. Icontract — The java design by contract tool. In Technology of Object-Oriented Languages, TOOLS 26, pages 295–307. IEEE Press, August 1998.
5. M. Karaorman, U. Holzle, and J. Bruno. jcontractor: A reflective Java library to support design by contract. Technical Report, Santa Barbara, CA, 1999.