“Towards a Specification for the Formal Notation of Sound Laws”, CALC in Practice, vol. 9, no. 2, pp. 65–83, Jul. 2026, doi: 10.15475/calcip.2026.2.1.