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