H.-J. Kreowski, F. Orejas, y H. Ehrig, «Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor», Rev. mat. complut., vol. 10, n.º 2, p. 365, ene. 1997, doi: https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446