Roger Duke: Formal Methods for the Design and Specification of Object-Oriented Systems. TOOLS (12/9) 1993: 324