1. Basu, S., Foster, N., Grimmelmann, J.: Property conveyances as a programming language. In: Proceedings of 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, pp. 128–142. Association for Computing Machinery, New York (2019)
2. Basu, S., Mohan, A., Grimmelmann, J., Foster, N.: Legal calculi. Technical report, ProLaLa 2022 ProLaLa Programming Languages and the Law (2022). https://popl22.sigplan.org/details/prolala-2022-papers/6/Legal-Calculi
3. Bortolotti, F.: Force Majeure and Hardship Clauses - Introductory note and commentary. Technical report, International Chamber of Commerce (2020)
4. Vitalik Buterin. Ethereum white paper (2013). https://github.com/ethereum/wiki/wiki/White-Paper
5. Crafa, S., Laneve, C.: Liquidity analysis in resource-aware programming. In: Proc. 18th Int. Conference, FACS 2022, vol. 13712. LNCS, pp. 205–221. Springer (2022)