Silke Eckstein Module für verteilte Objektsysteme - Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen. I-XIII, 1-205 Infix Akademische Verlagsgesellschaft 2001 DISDBIS 77 978-3-89838-477-3