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 29 de julio de 2026];10(2):365. Disponible en: https://revistas.ucm.es/index.php/REMA/article/view/REMA9797230365A