Towards the Specification and Verification of Legal Contracts | IEEE Conference Publication | IEEE Xplore