Specifying the Semantics of Operation Contracts in Conceptual Modeling | Publicación