Note: This question is NOT about using computers/AI in legal practice.
Laws and contracts are programs/algorithms. They are transmitted on paper, but executed by humans (i.e. in our brains).
The legal system is a programming environment
Legal language is a programming language
I am wondering if more has been written on this. I have searched but have not found much. I am specifically looking for published papers that explore this analogy (whether in law journals or computer science journals).
NOTE: again, this is not specifically about "using AI or IT for the purpose of law", though I can imagine that people who work on that problem have also thought about this.