Bertrand Meyer. At the Edge of Design by Contract. In TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing, Zurich, Switzerland, 12-14 March 2001. pages 3, IEEE Computer Society, 2001. [doi]
Abstract is missing.