Kreowski HJ, 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. doi:10.5209/rev_REMA.1997.v10.n2.17446