Specification, horizontal composition and parameterization of algebraic implementations - Beierle, Christoph 1954-; Voß, Angelika (1986)