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 janv. 1997 [cité 1 août 2026];10(2):365. Disponible à: https://revistas.ucm.es/index.php/REMA/article/view/REMA9797230365A