Formal justification in object-oriented modelling: A linguistic approach - Capuchino, AM; Juristo, N; Van de Riet, RP; (Data & Knowledge Engineering, 2000)