P. D. Mosses, “Pragmatics of Modular SOS”, BRICS, vol. 10, no. 52, Dec. 2003.