Formal justification in object-oriented modelling: A linguistic approach | Publicación