OFRwp-2015-04_Contract-as-Automaton-The-Computational-Representation-of-Financial-Agreements