Ergo - a programming language for Smart Legal Contracts. - Niall Roche; Walter Hernández; Eason Chen; Jérôme Siméon; Dan Selman (CoRR, 2021)