Kreowski, H.-J.; Orejas, F.; Ehrig, H. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Rev. mat. complut. 1997, 10 ,2, 365. https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.