{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:46:08Z","timestamp":1752230768156,"version":"3.37.3"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T00:00:00Z","timestamp":1634083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T00:00:00Z","timestamp":1634083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s10506-021-09300-9","type":"journal-article","created":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T15:19:22Z","timestamp":1634138362000},"page":"391-416","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Contract as automaton: representing a simple financial agreement in computational form"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6330-6168","authenticated-orcid":false,"given":"Mark D.","family":"Flood","sequence":"first","affiliation":[]},{"given":"Oliver R.","family":"Goodenough","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,13]]},"reference":[{"key":"9300_CR1","volume-title":"Foundations of computer science","author":"AV Aho","year":"1995","unstructured":"Aho AV, Ullman JD (1995) Foundations of computer science. Computer Science Press"},{"key":"9300_CR2","doi-asserted-by":"publisher","first-page":"833","DOI":"10.2307\/794073","volume":"66","author":"L Allen","year":"1957","unstructured":"Allen L (1957) Symbolic logic: a razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:833\u2013879","journal-title":"Yale Law J"},{"key":"9300_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10506-016-9185-2","volume":"24","author":"S Azzopardi","year":"2016","unstructured":"Azzopardi S, Pace G, Schapachnik F, Schneider G (2016) Contract automata: an operational view of contracts between interactive parties. Artif Intell Law 24:203\u2013243","journal-title":"Artif Intell Law"},{"key":"9300_CR4","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J (2008) Principles of model checking. MIT Press"},{"key":"9300_CR5","unstructured":"Basel Committee on Banking Supervision (2013) Principles for effective risk data aggregation and risk reporting, January. http:\/\/www.bis.org\/publ\/bcbs239.htm"},{"key":"9300_CR6","unstructured":"Basel Committee on Banking Supervision (2020) Progress in adopting the Principles for effective risk data aggregation and risk reporting, April. https:\/\/www.bis.org\/bcbs\/publ\/d501.htm"},{"key":"9300_CR7","volume-title":"Contract theory","author":"P Bolton","year":"2005","unstructured":"Bolton P, Dewatripont M (2005) Contract theory. MIT Press"},{"key":"9300_CR8","volume-title":"InsurTech: a legal and regulatory view. AIDA Europe research series on insurance law and regulation","author":"A Borselli","year":"2020","unstructured":"Borselli A (2020) Smart contracts in insurance: a law and futurology perspective. In: Marano P, Noussia K (eds) InsurTech: a legal and regulatory view. AIDA Europe research series on insurance law and regulation, vol 1. Springer"},{"key":"9300_CR9","volume-title":"Unified financial analysis: the missing links of finance","author":"W Brammertz","year":"2009","unstructured":"Brammertz W, Akkizidis I, Breymann W, Entin R, Rustmann M (2009) Unified financial analysis: the missing links of finance. Wiley"},{"key":"9300_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511997723","volume-title":"Handbook of financial data and risk information vol I: principles and context","author":"MS Brose","year":"2014","unstructured":"Brose MS, Flood MD, Krishna D, Nichols B (2014a) Handbook of financial data and risk information vol I: principles and context. Cambridge University Press"},{"key":"9300_CR11","volume-title":"Handbook of Financial data and risk information, vol II software and data","author":"MS Brose","year":"2014","unstructured":"Brose MS, Flood MD, Krishna D, Nichols B (2014b) Handbook of Financial data and risk information, vol II software and data. Cambridge University Press, II"},{"issue":"4","key":"9300_CR12","doi-asserted-by":"crossref","first-page":"338","DOI":"10.69554\/XYVT7035","volume":"2","author":"C Clack","year":"2018","unstructured":"Clack C (2018) Smart contract templates: legal semantics and code validation. J Digit Bank 2(4):338\u2013352","journal-title":"J Digit Bank"},{"key":"9300_CR13","unstructured":"Clack C (2021) Languages for smart and computable contracts. Working paper, University College London, https:\/\/arxiv.org\/abs\/2104.03764"},{"key":"9300_CR14","unstructured":"Clark C (2011) Whither equity volumes? January 31, 2011. NYSE Exchanges. http:\/\/exchanges.nyx.com\/cclark\/whither-equity-volumes"},{"key":"9300_CR15","unstructured":"Cummins J, Clack C (2020) Transforming commercial contracts through computable contracting. Working Paper, University College London, https:\/\/arxiv.org\/abs\/2003.10400"},{"key":"9300_CR16","volume-title":"Encyclopedia of the philosophy of law and social philosophy","author":"A Dimishkovska","year":"2017","unstructured":"Dimishkovska A (2017) Deontic logic and legal rules. In: Sellers M, Kirste S (eds) Encyclopedia of the philosophy of law and social philosophy. Springer"},{"key":"9300_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-32232-7_2","volume-title":"Financial analysis and risk management: data governance, analytics and life cycle management","author":"M Flood","year":"2013","unstructured":"Flood M, Mendelowitz A, Nichols W (2013) Monitoring financial stability in a complex world. In: Lemieux V (ed) Financial analysis and risk management: data governance, analytics and life cycle management. Springer, pp 15\u201346"},{"key":"9300_CR18","unstructured":"Foreign Exchange Committee (1997) The 1997 International Foreign Exchange Master Agreement (IFEMA). Technical Report, Federal Reserve Bank of New York. Accessed 12 December 2014."},{"key":"9300_CR19","volume-title":"Mastering regular expressions","author":"JEF Friedl","year":"2006","unstructured":"Friedl JEF (2006) Mastering regular expressions, 3rd edn. O\u2019Reilly","edition":"3"},{"key":"9300_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/B978-0-12-800160-8.00005-X","volume":"95","author":"W Gasarch","year":"2014","unstructured":"Gasarch W (2014) Classifying problems into complexity classes. Adv Comput 95:239\u2013292","journal-title":"Adv Comput"},{"key":"9300_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01586-1","volume-title":"Introduction to logic programming","author":"M Genesereth","year":"2020","unstructured":"Genesereth M, Chaudhri VK (2020) Introduction to logic programming. Morgan & Claypool"},{"key":"9300_CR22","unstructured":"Genesereth MR, Greiner R, Smith DE (1981) MRS manual. Stanford University. http:\/\/oai.dtic.mil\/oai\/oai?verb=getRecord&metadataPrefix=html&identifier=ADA123256"},{"key":"9300_CR23","first-page":"191","volume-title":"Blockchain, law and governance","author":"OR Goodenough","year":"2020","unstructured":"Goodenough OR (2020) Integrating smart contracts with the legacy legal system: a US perspective\u201d. In: Cappiello B, Carullo G (eds) Blockchain, law and governance. Springer, pp 191\u2013203"},{"key":"9300_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00338-8_1","author":"G Governatori","year":"2018","unstructured":"Governatori G (2018) Practical normative reasoning with defeasible deontic logic. Reason Web Int Summer Sch. https:\/\/doi.org\/10.1007\/978-3-030-00338-8_1","journal-title":"Reason Web Int Summer Sch"},{"key":"9300_CR25","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"G Governatori","year":"2018","unstructured":"Governatori G, Idelberger F, Milosevic Z, Riveret R, Sartor G, Xu X (2018) On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif Intell Law 26:377\u2013409","journal-title":"Artif Intell Law"},{"issue":"2","key":"9300_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1257\/jep.27.2.3","volume":"27","author":"R Greenwood","year":"2013","unstructured":"Greenwood R, Scharfstein D (2013) The growth of finance. J Econ Persp 27(2):3\u201328","journal-title":"J Econ Persp"},{"issue":"4","key":"9300_CR27","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1080\/10864415.2004.11044305","volume":"8","author":"BN Grosof","year":"2004","unstructured":"Grosof BN, Poon TC (2004) SweetDeal: representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. Int J Electron Commer 8(4):61\u201397","journal-title":"Int J Electron Commer"},{"issue":"1","key":"9300_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1287\/isre.2021.0997","volume":"32","author":"T Hendershott","year":"2021","unstructured":"Hendershott T, Zhang X, Zhao JL, Zheng Z (2021) FinTech as a game changer. Inf Syst Res 32(1):1\u201317","journal-title":"Inf Syst Res"},{"key":"9300_CR29","volume-title":"Introduction to automata theory, languages, and computation","author":"J Hopcroft","year":"2001","unstructured":"Hopcroft J, Motwani R, Ullman J (2001) Introduction to automata theory, languages, and computation, 2nd edn. Pearson","edition":"2"},{"key":"9300_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in computer science: modelling and reasoning about systems","author":"M Huth","year":"2004","unstructured":"Huth M, Ryan M (2004) Logic in computer science: modelling and reasoning about systems, 2nd edn. Cambridge University Press","edition":"2"},{"key":"9300_CR31","unstructured":"ISDA (2002) ISDA Master Agreement, ISDA Bookstore. http:\/\/www.isda.org\/publications\/isdamasteragrmnt.aspx. Accessed 12 Dec 2014"},{"issue":"1","key":"9300_CR32","first-page":"1","volume":"6","author":"ISDA","year":"2020","unstructured":"ISDA (2020) Standardize to digitise. IQ ISDA Q 6(1):1\u201347","journal-title":"IQ ISDA Q"},{"key":"9300_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1844-9","volume-title":"Automata and computability","author":"DC Kozen","year":"1997","unstructured":"Kozen DC (1997) Automata and computability. Springer"},{"issue":"1","key":"9300_CR34","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn T (2014) A survey and classification of controlled natural languages. Comput Linguist 40(1):121\u2013170","journal-title":"Comput Linguist"},{"key":"9300_CR35","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1016\/j.knosys.2021.107082","volume":"224","author":"Q Liu","year":"2021","unstructured":"Liu Q, Islam B, Governatori G (2021) Towards an efficient rule-based framework for legal reasoning. Knowl-Based Syst 224:1070","journal-title":"Knowl-Based Syst"},{"key":"9300_CR36","unstructured":"LSP Working Group, Goodenough O, Salkind S (2019) Developing a legal specification protocol: technological considerations and requirements. CodeX \u2013 The Stanford Center for Legal Informatics. https:\/\/law.stanford.edu\/publications\/developing-a-legal-specification-protocol-technological-considerations-and-requirements\/"},{"issue":"3","key":"9300_CR37","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1257\/jel.45.3.595","volume":"45","author":"WB MacLeod","year":"2007","unstructured":"MacLeod WB (2007) Reputations, relationships, and contract enforcement. J Econ Lit 45(3):595\u2013628","journal-title":"J Econ Lit"},{"key":"9300_CR38","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"GH Mealy","year":"1955","unstructured":"Mealy GH (1955) A method for synthesizing sequential circuits. Bell Syst Tech J 34:1045\u20131079","journal-title":"Bell Syst Tech J"},{"key":"9300_CR39","first-page":"129","volume":"34","author":"EF Moore","year":"1956","unstructured":"Moore EF (1956) Gedanken-experiments on sequential machines. Automata Stud 34:129\u2013153","journal-title":"Automata Stud"},{"key":"9300_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04267-0","volume-title":"Computer architecture complexity and correctness","author":"SM Mueller","year":"2000","unstructured":"Mueller SM, Paul WJ (2000) Computer architecture complexity and correctness. Springer"},{"key":"9300_CR41","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139032711","volume-title":"Deontic logic and legal systems","author":"PE Navarro","year":"2014","unstructured":"Navarro PE, Rodriguez JL (2014) Deontic logic and legal systems. Cambridge University Press"},{"key":"9300_CR42","unstructured":"Object Management Group (OMG) (2014) Enterprise Data Management Council (EDMC) Financial Industry Business Ontology (FIBO) Standard, Version 1.0 - Beta 1. Technical report, OMG. http:\/\/www.omg.org\/spec\/EDMC-FIBO\/FND\/. Accessed 13 Dec 2014"},{"key":"9300_CR43","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2007) A formal language for electronic contracts. In: Formal methods for open object-based distributed systems. Lecture notes in computer science, vol 4468, pp 174\u2013189","DOI":"10.1007\/978-3-540-72952-5_11"},{"key":"9300_CR44","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2009) CL: an action-based logic for reasoning about contracts. In: Workshop on Logic, Language, Information and Computation (WoLLIC\u201909). Lecture notes in computer science, vol 5514, pp 335\u2013349","DOI":"10.1007\/978-3-642-02261-6_27"},{"key":"9300_CR45","unstructured":"Project ACTUS (2015) ACTUS: Algorithmic Contract Types Unified Standards. Internet site. http:\/\/www.projectactus.org\/. Accessed 28 Aug 2015"},{"key":"9300_CR46","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09639-1","volume-title":"The pillars of computation theory state, encoding, nondeterminism","author":"AL Rosenberg","year":"2010","unstructured":"Rosenberg AL (2010) The pillars of computation theory state, encoding, nondeterminism. Springer"},{"issue":"5","key":"9300_CR47","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun ACM 29(5):370\u2013386","journal-title":"Commun ACM"},{"key":"9300_CR48","unstructured":"Simonson S (2013) Theory of computation. ADUni.org. http:\/\/www.aduni.org\/courses\/theory\/"},{"key":"9300_CR49","volume-title":"Introduction to the theory of computation","author":"M Sipser","year":"2006","unstructured":"Sipser M (2006) Introduction to the theory of computation, 2nd edn. Thompson Learning","edition":"2"},{"key":"9300_CR50","unstructured":"Software Engineering Institute (2009) 'Happy Path' testing. Acquisition Archetypes, Carnegie Mellon University. http:\/\/www.sei.cmu.edu\/library\/assets\/happy.pdf"},{"key":"9300_CR51","volume-title":"The shareholder value myth how putting shareholders first harms investors, corporations, and the public","author":"LA Stout","year":"2012","unstructured":"Stout LA (2012) The shareholder value myth how putting shareholders first harms investors, corporations, and the public. Berrett-Koehler"},{"key":"9300_CR52","first-page":"629","volume":"46","author":"H Surden","year":"2012","unstructured":"Surden H (2012) Computable contracts. UCDL Rev 46:629\u2013639","journal-title":"UCDL Rev"},{"key":"9300_CR53","doi-asserted-by":"crossref","unstructured":"Szabo N (1997) Formalizing and securing relationships on public networks. Reprinted at https:\/\/nakamotoinstitute.org\/formalizing-securing-relationships\/","DOI":"10.5210\/fm.v2i9.548"},{"key":"9300_CR54","unstructured":"Tolmach P, Li Y, Lin S-W, Liu Y, Li Z (2021) A survey of smart contract formal specification and verification. Working paper, Nanyang Technological University, April, https:\/\/arxiv.org\/abs\/2008.02712"},{"key":"9300_CR55","volume-title":"An artificial intelligence approach to legal reasoning","author":"A von der Lieth Gardner","year":"1987","unstructured":"von der Lieth Gardner A (1987) An artificial intelligence approach to legal reasoning. MIT Press"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-021-09300-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-021-09300-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-021-09300-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:12:52Z","timestamp":1725919972000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-021-09300-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,13]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["9300"],"URL":"https:\/\/doi.org\/10.1007\/s10506-021-09300-9","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2021,10,13]]},"assertion":[{"value":"9 August 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}