Kreowski, H.-J. et al. 1997. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense. 10, 2 (Jan. 1997), 365. DOI:https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446.