Towards a Specification for the Formal Notation of Sound Laws. CALC in Practice 2026, 9 (2), 65-83. https://doi.org/10.15475/calcip.2026.2.1.