A framework for using formal methods in object-oriented software development.

Richard C. Holt Dennis de Champeaux A framework for using formal methods in object-oriented software development. 9-10 1992 3 OOPS Messenger 2 db/journals/oopsm/oopsm3.html#HoltC92