Hans-Dieter Ehrich Martin Gogolla Amílcar Sernadas Objects and their Specification. 40-65 1991 conf/compass/1991 COMPASS/ADT db/conf/compass/compass91.html#EhrichGS91