Domain−specific Semantics and Data Refinement of Object Models - Davies, J; Faitelson, D; Welch, J (2008)