Volver a los detalles del artículo Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor Descargar Descargar PDF