Kreowski, Hans-Jörg, et al. «Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor». Revista Matemática Complutense, vol. 10, n.º 2, enero de 1997, p. 365, https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.