Zur Spezifikation von Objektgesellschaften mit TROLL light / Rudolf Herzig. Düsseldorf : VDI-Verl., 1995