The BON Analysis and Design Method - - BON: The analysis and design method for reliability, reusability and reversibility; description of benefits and key concepts, with links. Eiffel Software.
BON Method - - Treats many aspects of BON: overview, reversibility, contracts, book, BONsai diagram tool; by Kim Waldén, one of BON co-inventors.
An Introduction to BON - - Brief, very clear document treats main ideas; text, diagrams, bibliography.