Two of these authors are also two of the creators of the Catala programming language, which is "a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts." (https://catala-lang.org/en/).

Other publications in this area can be found at https://catala-lang.org/en/publications.