Ted L. Briggs John Werth A Specification Language for Object-Oriented Analysis and Design. 365-385 http://link.springer.de/link/service/series/0558/bibs/0821/08210365.htm 1994 conf/ecoop/1994 ECOOP db/conf/ecoop/ecoop94.html#BriggsW94