Kreowski H-J, Orejas F, Ehrig H. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Rev. mat. complut. [Internet]. 1 de enero de 1997 [citado 22 de noviembre de 2024];10(2):365. Disponible en: https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446