@misc(SoliditySM,
 title        = {Solidity {D}ocumentation: {S}tate {M}achine {C}ommon {P}attern},
 howpublished = {\url{https://docs.soliditylang.org/en/v0.8.0/common-patterns.html\#state-machine}},
)
@unpublished(AkomaNtoso,
 year         = {2018},
 title        = {Akoma Ntoso XML for parliamentary, legislative and judiciary documents},
 note         = {At \url{http://www.akomantoso.org/}},
)
@unpublished(MaltaAct,
 year         = {2018},
 title        = {Malta {MDIA} {A}ct},
 note         = {At \url{https://mdia.gov.mt/wp-content/uploads/2018/10/MDIA.pdf}},
)
@misc(Obsidian,
 year         = {2018},
 title        = {Obsidian: A safer blockchain programming language},
 howpublished = {Language Site at \url{http://obsidian-lang.com/}},
)
@unpublished(Cohubicle,
 year         = {2019},
 title        = {The CoHuBiCoL research project},
 note         = {At \url{https://www.cohubicol.com/about}},
)
@unpublished(ItalianLaw2019,
 year         = {2019},
 title        = {Smart contract legislation and enforceability in {I}taly},
 note         = {Gazzetta {U}fficiale, {L}aw of 11 febbraio 2019, n. 12, Art. 8 ter, at \url{https://www.gazzettaufficiale.it/eli/id/2019/02/12/19G00017/sg}},
)
@unpublished(RulesAsCode,
 year         = {2020},
 title        = {Cracking the Code: Rulemaking for humans and machines},
 note         = {At \url{https://oecd-opsi.org/publications/cracking-the-code/}},
)
@unpublished(WyomingAct,
 year         = {2021},
 title        = {Wyoming {R}egulation {A}ct},
 note         = {At \url{https://www.wyoleg.gov/Legislation/2021/SF0038}},
)
@unpublished(CatalaLang,
 year         = {2022},
 title        = {Catala in action},
 note         = {Language site at \url{https://catala-lang.org/}},
)
@inproceedings(BartZ2019,
 author       = {Massimo Bartoletti and Roberto Zunino},
 year         = {2019},
 title        = {Verifying Liquidity of Bitcoin Contracts},
 editor       = {Flemming Nielson and David Sands},
 booktitle    = {Principles of Security and Trust},
 publisher    = {Springer International Publishing},
 pages        = {222--247},
 doi          = {10.1007/978-3-030-17138-4_10},
)
@inproceedings(Orlando,
 author       = {Shrutarshi Basu and Nate Foster and James Grimmelmann},
 year         = {2019},
 title        = {Property Conveyances as a Programming Language},
 booktitle    = {Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
 series       = {Onward! 2019},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {128–142},
 doi          = {10.1145/3359591.3359734},
)
@techreport(LegalCalculi,
 author       = {Shrutarshi Basu and Anshuman Mohan and James Grimmelmann and Nate Foster},
 year         = {2022},
 title        = {Legal Calculi},
 type         = {Technical Report},
 institution  = {ProLaLa 2022 ProLaLa Programming Languages and the Law},
 note         = {At \url{https://popl22.sigplan.org/details/prolala-2022-papers/6/Legal-Calculi}},
)
@misc(Move,
 author       = {Sam Blackshear and et al.},
 year         = {2021},
 title        = {Move: A Language With Programmable Resources},
 howpublished = {\url{https://developers.diem.com/papers/diem-move-a-language-with-programmable-resources/2020-04-09.pdf}},
)
@article(Resources20,
 author       = {Sam Blackshear and David L. Dill and Shaz Qadeer and Clark W. Barrett and John C. Mitchell and Oded Padon and Yoni Zohar},
 year         = {2020},
 title        = {Resources: {A} Safe Language Abstraction for Money},
 journal      = {CoRR},
 eprint       = {2004.05106},
)
@article(ObsidianUsage,
 author       = {Michael J. Coblenz and Jonathan Aldrich and Brad A. Myers and Joshua Sunshine},
 year         = {2020},
 title        = {Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {4},
 number       = {{OOPSLA}},
 pages        = {132:1--132:28},
 doi          = {10.1145/3428200},
)
@article(ObsidianPaper,
 author       = {Michael J. Coblenz and Reed Oei and Tyler Etzel and Paulette Koronkevich and Miles Baker and Yannick Bloem and Brad A. Myers and Joshua Sunshine and Jonathan Aldrich},
 year         = {2020},
 title        = {Obsidian: Typestate and Assets for Safer Blockchain Programming},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {42},
 number       = {3},
 pages        = {14:1--14:82},
 doi          = {10.1145/3417516},
)
@misc(Accord,
 author       = {{S}ource {C}ontributors, Open},
 year         = {2018},
 title        = {The {A}ccord {P}roject},
 howpublished = {\url{https://accordproject.org}},
)
@inproceedings(Festschrift,
 author       = {Silvia Crafa and Cosimo Laneve},
 year         = {2022},
 title        = {Programming legal contracts - a beginner guide},
 booktitle    = {The Logic of Software. A Tasting Menu of Formal Methods. Essays Dedicated to Reiner H\"ahnle on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {13360},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-08166-8},
)
@article(techReport,
 author       = {Silvia Crafa and Cosimo Laneve and Giovanni Sartor},
 year         = {2021},
 title        = {Pacta sunt servanda: legal contracts in {S}tipula},
 journal      = {CoRR},
 eprint       = {2110.11069},
)
@inproceedings(FormeFalso,
 author       = {Silvia Crafa and Cosimo Laneve and Giovanni Sartor},
 year         = {2022},
 title        = {Le forme del falso negli smart contract},
 booktitle    = {Le forme del falso},
 publisher    = {Bologna University Press},
 pages        = {85--98},
 doi          = {10.30682/9791254770146},
)
@techreport(ProLaLa22,
 author       = {Silvia Crafa and Cosimo Laneve and Giovanni Sartor},
 year         = {2022},
 title        = {Stipula: a domain specific language for legal contracts},
 type         = {Technical Report},
 institution  = {ProLaLa 2022 ProLaLa Programming Languages and the Law},
 note         = {At \url{https://popl22.sigplan.org/details/prolala-2022-papers/6/Legal-Calculi}},
)
@misc(stipulaprototype,
 author       = {Silvia Crafa and Cosimo Laneve and Adele Veschetti},
 year         = {2022},
 title        = {{Stipula Prototype}},
 note         = {Available on github: {\tt https://github.com/stipula-language}},
)
@inproceedings(Nomos,
 author       = {A. Das and S. Balzer and J. Hoffmann and F. Pfenning and I. Santurkar},
 year         = {2021},
 title        = {Resource-Aware Session Types for Digital Contracts},
 booktitle    = {2021 2021 IEEE 34th Computer Security Foundations Symposium (CSF)},
 publisher    = {IEEE Computer Society},
 address      = {Los Alamitos, CA, USA},
 pages        = {111--126},
 doi          = {10.1109/CSF51468.2021.00004},
)
@article(SLCML,
 author       = {Vimal Dwivedi and Alex Norta and Alexander Wulf and Benjamin Leiding and Sandeep Saxena and Chibuzor Udokwu},
 year         = {2021},
 title        = {A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations},
 journal      = {IEEE Access},
 volume       = {9},
 pages        = {76069--76082},
 doi          = {10.1109/ACCESS.2021.3081926},
)
@article(DwivediEtAl,
 author       = {Vimal Dwivedi and Vishwajeet Pattanaik and Vipin Deval and Abhishek Dixit and Alex Norta and Dirk Draheim},
 year         = {2021},
 title        = {Legally Enforceable Smart-Contract Languages: A Systematic Literature Review},
 journal      = {ACM Comput. Surv.},
 volume       = {54},
 number       = {5},
 doi          = {10.1145/3453475},
)
@article(FilippiHassan2016,
 author       = {Primavera De Filippi and Samer Hassan},
 year         = {2016},
 title        = {Blockchain technology as a regulatory technology: From code is law to law is code},
 journal      = {First Monday},
 volume       = {21},
 number       = {12},
 doi          = {10.5210/fm.v21i12.7113},
)
@article(Sartor2018,
 author       = {Guido Governatori and Florian Idelberger and Zoran Milosevic and Regis Riveret and Giovanni Sartor and Xiwei Xu},
 year         = {2018},
 title        = {On legal contracts, imperative and declarative smart contracts, and blockchain systems},
 journal      = {Artificial Intelligence and Law},
 volume       = {26},
 pages        = {377--409},
 doi          = {10.1007/s10506-018-9223-3},
)
@inproceedings(SPESC,
 author       = {Xiao He and Bohan Qin and Yan Zhu and Xing Chen and Yi Liu},
 year         = {2018},
 title        = {SPESC: A Specification Language for Smart Contracts},
 booktitle    = {2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)},
 volume       = {01},
 pages        = {132--137},
 doi          = {10.1109/COMPSAC.2018.00025},
)
@book(Lessig99,
 author       = {Lawrence Lessig},
 year         = {1999},
 title        = {Code and Other Laws of Cyberspace},
 publisher    = {Basic Books, Inc.},
 address      = {USA},
)
@misc(Lexon,
 author       = {\mbox{Lexon {F}oundation}},
 year         = {2019},
 title        = {Lexon {H}ome {P}age},
 howpublished = {\url{http://www.lexon.tech}},
)
@article(Catala,
 author       = {Denis Merigoux and Nicolas Chataing and Jonathan Protzenko},
 year         = {2021},
 title        = {Catala: A Programming Language for the Law},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {5},
 number       = {ICFP},
 doi          = {10.1145/3473582},
)
@unpublished(Babbage,
 author       = {Christian Reitwiebner},
 year         = {2018},
 title        = {Babbage—A Mechanical Smart Contract Language},
 note         = {At \url{https://medium.com/@chriseth/babbage-a-mechanical-smart-contract-language-5c8329ec5a0e}},
)
@inproceedings(Flint,
 author       = {Franklin Schrans and Susan Eisenbach and Sophia Drossopoulou},
 year         = {2018},
 title        = {Writing Safe Smart Contracts in Flint},
 booktitle    = {Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming},
 series       = {Programming'18 Companion},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {218–219},
 doi          = {10.1145/3191697.3213790},
)
@unpublished(TheDAO,
 author       = {David Siegel},
 year         = {2016},
 title        = {Understanding the dao attack},
 url          = {https://top-forex-brokers.com/2021/10/07/understanding-the-dao-attack/},
)
@book(CommonFramereference2009Pr,
 author       = {{Study Group on a European Civil Code} and Research Group on EC Private Law (Acquis Group)},
 year         = {2009},
 title        = {Principles, Definitions and Model Rules of European Private Law: Draft Common Frame of Reference (DCFR), Outline Edition},
 publisher    = {Sellier},
 url          = {https://www.ccbe.eu/fileadmin/speciality_distribution/public/documents/EUROPEAN_PRIVATE_LAW/EN_EPL_20100107_Principles__definitions_and_model_rules_of_European_private_law_-_Draft_Common_Frame_of_Reference__DCFR_.pdf},
)
@inproceedings(Blockly,
 author       = {Tim Weingaertner and Rahul Rao and Jasmin Ettlin and Patrick Suter and Philipp Dublanc},
 year         = {2018},
 title        = {Smart Contracts Using Blockly: Representing a Purchase Agreement Using a Graphical Programming Language},
 booktitle    = {2018 Crypto Valley Conference on Blockchain Technology (CVCBT)},
 pages        = {55--64},
 doi          = {10.1109/CVCBT.2018.00012},
)
@misc(OpenLaw,
 author       = {Aaron Wright and David Roon and ConsenSys AG},
 year         = {2019},
 title        = {Open{L}aw {W}eb {S}ite},
 howpublished = {\url{https://www.openlaw.io}},
)