On the Semantics of Operation Contracts in Conceptual Modeling

2005