FMEC: Overview and Interpretation -- Policies -- Practical Contract Storage, Checking, and Enforcement for Business Process Automation -- Legitimacy Checking in Communicative Workflow Design -- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID -- CANDID Specification of Commercial and …