Kim Walden. BON: Seamless, Reversible, Contract-Based Analysis and Design. In TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA. pages 445, IEEE Computer Society, 1998. [doi]
Abstract is missing.