A Specification Language for Object-Oriented Analysis and Design. - Ted L. Briggs; John Werth (ECOOP, 1994)