Return to Issue Details Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor Download Download PDF