"Developing BON as an Industrial-Strength Formal Method."

Richard F. Paige, Jonathan S. Ostroff (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics