Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors - Ehrig, Hartmut 1944-2016; Kreowski, Hans-Jörg; Orejas, Fernando (Technische Universität <Berlin> / Fachbereich Informatik: Bericht, 1996)