Categorical concepts for parameterized partial specifications - Classen, Ingo; Große-Rhode, Martin; Wolter, Uwe (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992)