Towards a Specification for the Formal Notation of Sound Laws. CALC in Practice [Internet]. 2026 Jul. 15 [cited 2026 Aug. 26];9(2):65-83. Available from: https://ojs.uni-passau.de/index.php/calcip/article/view/306