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]. 1997 Jan. 1 [cited 2026 Jul. 29];10(2):365. Available from: https://revistas.ucm.es/index.php/REMA/article/view/REMA9797230365A