"BON: Seamless, Reversible, Contract-Based Analysis and Design."

Kim Walden (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics