TROLL light a core language for specifying objects - Conrad, Stefan; Gogolla, Martin; Herzig, Rudolf (Informatik-Berichte, 1992)