Martin Gogolla Rudolf Herzig An Algebraic Semantics for the Object Specification Language TROLL <i>light</i>. 290-396 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#GogollaH94