ECOOP 1994A Specification Language for Object-Oriented Analysis and DesignTed L. Briggs, John WerthDOI 10.1007/bfb0052192dblpBibTeXNo abstract available.