Kreowski, Hans-Jörg, Orejas, Fernando, y Ehrig, Hartmut. 1997. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense 10, 2, 365. DOI:https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446