KREOWSKI, H.-J.; OREJAS, F.; EHRIG, H. Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense, v. 10, n. 2, p. 365, 1 janv.1997.