BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. - Richard F. Paige; Liliya Kaminskaya; Jonathan S. Ostroff; Jason Lancaric (J. Object Technol., 2002)