Specification, horizontal composition and parameterization of algebraic implementations - Beierle, Christoph 1954-; Voß, Angelika (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1986)