1. Bertrand Meyer. Applying Design by Contract. Computer, pages 40–51, October 1992.
2. Lect Notes Comput Sci;G.T. Leavens,1999
3. W. Weck. Inheritance Using Contracts & Object Composition. In Proceedings 2nd International Workshop on Component-Oriented Programming WCOP’ 97. Turku Center for Computer Science, General Publication No.5-97, Turku University, Finland, 1997.
4. E.K. Nordhagen. A Computational Framework for Verifying Object Component Substitutability. PhD thesis, University of Oslo, November 1998.
5. G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.