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), p. 365. doi: https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.