Parameterization without parameters in: The history of a hierarchy of specifications - Beierle, Christoph 1954- (Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht, 1983)