Contract as automaton: representing a simple financial agreement in computational form. - Mark D. Flood; Oliver R. Goodenough (Artif. Intell. Law, 2022)

Deontics and Time in Contracts: An Executable Semantics for the L4 DSL. - Seng Joe Watt; Oliver R. Goodenough; Meng Weng Wong (JURIX, 2023)