The fantastic documentary “We Are As Gods” about Stewart Brand spends a considerable amount of time on this topic as he is involved in many of these efforts.
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/).
APL was originally created by Iverson as a notation used to teach mathematics and only became a programming language able to be executed by a computer around the time that (or shortly after) he published his book _A Programming Language_ [0] in 1962.
Even throwing away the “executable by a computer” part of APL and only considering it as a notation, APL can be powerful. Iverson gave a lecture, which was published as _Notation as a Tool of Thought_ [1] that contains a good discussion of what exactly makes a given notation “good”.
https://www.weareasgods.film/