Categorical concepts for parameterized partial specifications - Classen, Ingo; Große-Rhode, Martin; Wolter, Uwe (Technische Universität <Berlin> / Fachbereich Informatik: Bericht, 1992)