Automated Execution of Financial Contracts on Blockchains

Andersen J, Elsborg E, Henglein F, Simonsen JG, Stefansen C (2006) Compositional specification of commercial contracts. Int J Softw Tools Technol Transf 8(6):485–516

Andersen J, Bahr P, Henglein F, Hvitved T (2014) Domain-specific languages for enterprise systems. In: Margaria T, Steffen B (eds) Leveraging applications of formal methods, verification and validation. Technologies for mastering change, vol 8802. LNCS. Springer, Berlin, pp 73–95

Arnold B, Van Deursen A, Res M (1995) An algebraic specification of a language for describing financial products. In: ICSE-17 workshop on formal methods application in software engineering. pp 6–13

Bahr P, Berthold J, Elsman M (2015) Certified symbolic management of financial multi-party contracts. In: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ACM. pp 315–327

Bank of England (2015) Digital currencies. https://goo.gl/BvHbRU . Accessed 5 Nov 2017

Buterin V (2014) SchellingCoin: a minimal-trust universal data feed. https://goo.gl/w2aJwu . Accessed 5 Nov 2017

Buterin V (2016) Critical update re: DAO vulnerability. https://goo.gl/Ojh8i1 . Accessed 5 Nov 2017

Clack CD, Bakshi VA, Braine L (2016) Smart contract templates: foundations, design landscape and research directions. arXiv:1608.00771

European Commission (2016) Financial stability: new EU rules on central clearing for certain credit derivative contracts. https://goo.gl/676Hz8 . Accessed 5 Nov 2017

Frankau S, Spinellis D, Nassuphis N, Burgard C (2009) Commercial uses: going functional on exotic trades. J Funct Program 19(1):27–45

Hearn M (2016) Corda: a distributed ledger. https://goo.gl/KzAmDR . Accessed 5 Nov 2017

Henglein F, Stefansen C, Simonsen J, Larsen K (2009) Poets: process-oriented enterprise transaction systems. J Logic Algebraic Program 78(5):381–401

Hvitved T (2010) A survey of formal languages for contracts. In: Fourth workshop on formal languages and analysis of contract–oriented software. pp 29–32

Hvitved T, Bahr P, Andersen J (2011) Domain-specific languages for enterprise systems. Department of Computer Science, University of Copenhagen, Tech. rep

Hvitved T, Klaedtke F, Zalinescu E (2012) A trace-based model for multiparty contracts. J Logic Algebraic Program 81(2):72–98

Hyperledger Project (2016) Hyperledger fabric: protocol specification. https://goo.gl/Z2PDHd . Accessed 5 Nov 2017

Jensen MV, Pedersen LH (2016) Early option exercise: never say never. J Financ Econ 121(2):278–299

Jones SP, Eber JM (2003) How to write a financial contract. In: Gibbons J, de Moor O (eds) The fun of programming. Palgrave Macmillan

Jones SP, Eber JM, Seward J (2000) Composing contracts: an adventure in financial engineering (functional pearl). In: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ACM. pp 280–292

Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC conference on computer and communications security, ACM, New York, NY, USA, CCS ’16. pp 254–269. https://doi.org/10.1145/2976749.2978309 .

Merton RC (1973) Theory of rational option pricing. Bell J Econ Manag Sci 4(1):141–183

Mortensen S (2016) Universal contracts. https://goo.gl/u64skF . Accessed 5 Nov 2017

Moyano JP, Ross O (2017) KYC optimization using distributed ledger technology. Bus Inf Syst Eng. https://doi.org/10.1007/s12599-017-0504-2

Nakamoto S (2009) Bitcoin: a peer-to-peer electronic cash system. https://goo.gl/wXWfP . Accessed 5 Nov 2017

R3 (2016) IRS demo. https://goo.gl/miGCVa . Accessed 5 Nov 2017

Rice HG (1953) Classes of recursively enumerable sets and their decision problems. Trans Am Math Soc 74:358–366

Santander Innoventures, Oliver Wyman (2015) The fintech 2.0 paper: rebooting financial services. https://goo.gl/xMXtks . Accessed 5 Nov 2017

Schneider J, Blostein A, Lee B, Kent S, Groer I, Beardsley E (2016) Blockchain-putting theory into practice. http://www.finyear.com/attachment/690548/ . Accessed 25 Nov 2017

Schuldenzucker S (2014) Decomposing contracts. Master’s thesis, University of Bonn

Wood G (2016) Ethereum: a secure decentralised generalised transaction ledger. https://goo.gl/0R6Slw , accessed 5 November 2017