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