Anna Queralt Ernest Teniente Specifying the Semantics of Operation Contracts in Conceptual Modeling. 33-56 2006 journals/jods/2006-7 J. Data Semantics VII http://dx.doi.org/10.1007/11890591_2 db/journals/jods/jods7.html#QueraltT06