•Hoare, C.A.R. (1969) “An axiomatic Basis for Computer Programming”, Communications of ACM Vol. 12, No. 10 pp 576-580

•Hoare, C.A.R. (1972) “Proof of Correctness of Data Representations” Acta Informática, Vol. 1, No. 4, pp. 271-261.

•Hunt, Andrew (2000) "Design by Contract in Ruby", The Pragmatic Programmer, LLC, August 2000

•Jézéquel, Jean-Marc, Meyer, Bertrand (1997), “Design by Contract: The Lessons of Ariane” IEEE Computer, Vol. 30, No. 1 pp 129-130

•Jézéquel, Jean-Marc, Train, Michel, Mingins, Christine (2000). Design Patterns and Contracts. Addison Wesley

•Jézéquel, Plouzeau, Watkins,(1999) “Making Components Contract Aware” IEEE Computer, Vol. 32, No. 4. pp 38-45.

•Kramer R, (1998) iContract - The Java™ Design by Contract™ Tool in Proceedings of Tools USA’98. IEEE Society Computer, Tools 26

•Meyer, Bertrand (1992) “Applying ‘Design by Contract’” IEEE Computer, Vol. 25, No. 10, pp 40-51.

•Meyer, Bertrand (1992b). Eiffel the Language Second Edition. Prentice Hall.

•Meyer, Bertrand (1997) Object-Oriented Software Construction, second edition. Prentice Hall

•Mitchell, Richard, McKim, Jim (2002) Design by Contract, by example. Addison-Wesley.

•Plosch, R, Pichler, J (1999) "Contracts: From Analysis to C++ Implementation", Proceedings of the TOOLS-30 Conference, August 1999, Santa Barbara.

•Rossel, Gerardo, Manna Andrea (2003a) E-MOBI Smart Object Model and Implementation, programado para ser publicado en el Journal of Object Technology. Nov/Dec, 2003

•Rossel, Gerardo, Manna Andrea (2003b) Implementando múltiples estrategias de razonamiento en E-MOBI. IV Workshop de Agentes y Sistemas Inteligentes. IX Congreso Argentino de Ciencias de la Computación: CACIC 2003. La Plata. Buenos Aires. Argentina.

•Waldén Kim, Nerson Jean-Marc (1995) Seamless Object-Oriented Software Architecture. Analysis and Design of Reliable Systems. Prentice Hall.