Towards a Specification for the Formal Notation of Sound Laws

https://calc.hypotheses.org/9435