1. Bertrand Meyer: Design by Contract, Technical Report TR-EI-12/CO, Interactive Software Engineering Inc., 1986. Republished as [7].
2. Bertrand Meyer: Genericity versus inheritance, in ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1), Portland, Sept. 29–Oct. 2, 1986, pages 391–405, se.ethz.ch/˜meyer/publications/acm/geninh.pdf.
3. Bertrand Meyer, Jean-Marc Nerson and Masanobu Matsuo: Safe and Reusable Programming using Eiffel, in Proc. First European Software Engineering Conference (ESEC 87), Strasbourg (France), September 8–11, 1987, LNCS, Springer, 1987, se.ethz.ch/˜meyer/publications/eiffel/eiffel_esec.pdf.
4. Bertrand Meyer: Object-Oriented Software Construction, Prentice Hall, 1988. (See also [11].)
5. Bertrand Meyer: Disciplined Exceptions, Technical Report TR-EI-13/DE, ISE Inc., May 1988, se.ethz.ch/˜meyer/publications/methodology/exceptions.pdf.