KREOWSKI, H.-J.; OREJAS, F.; EHRIG, H. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense, v. 10, n. 2, p. 365, 1 ene.1997 https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.