Kreowski, Hans-Jörg, Fernando Orejas, y Hartmut Ehrig. «Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractor». Revista Matemática Complutense 10, no. 2 (enero 1, 1997): 365. https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.