On the semantics of aggregation and generalization in learning object contracts | Publicación