[7] I. Grigg. The Ricardian Contract. In Proceedings of the First IEEE International Workshop on Electronic Contracting, pages 25–31. IEEE, 2004. http://iang.org/papers/ricardian_contract.html. [8] I. Grigg. On the intersection of ricardian and smart contracts, 2015. http://iang.org/papers/intersection_ricardian_smart.html. [9] I. Grigg. The sum of all chains — let’s converge!, 2015. Presentation for Coinscrum and Proof of Work. http://financialcryptography.com/mt/archives/001556.html. [10] M. Hancock and E. Vaizey. Distributed ledger technology: beyond block chain, 2016. https://www.gov.uk/government/uploads/system/uploads/attachment_data/file/492972 /gs-16-1-distributed-ledger-technology.pdf. [11] T. Hvitved. Contract Formalisation and Modular Implementation of Domain-Specific Lan- guages. PhD thesis, Department of Computer Science, University of Copenhagen, 2012. [12] Hyperledger, 2016. https://www.hyperledger.org/. [13] Legalese, 2016. http://www.legalese.com/. [14] M. Mainelli and A. Milne. The impact and potential of blockchain on the securities transaction lifecycle, 2016. SWIFT Institute Working Paper No. 2015-007. [15] J. Stark. Making sense of blockchain smart contracts, 2016. http://www.coindesk.com/making-sense-smart-contracts/. [16] T. Swanson. Great chain of numbers: A guide to smart contracts, smart property and trustless asset management, 2014. https://s3-us-west- 2.amazonaws.com/chainbook/Great+Chain+of+Numbers+A+Guide+to+Smart+Contr acts%2C+Smart+Property+and+Trustless+Asset+Management+-+Tim+Swanson.pdf. [17] T. Swanson. Consensus-as-a-service: a brief report on the emergence of permissioned, distributed ledger systems, 2015. http://www.ofnumbers.com/wp- content/uploads/2015/04/Permissioned-distributed-ledgers.pdf. [18] N. Szabo. Formalizing and securing relationships on public networks. First mind, 2(9), 1997. 15