P. D. Mosses, “Foundations of Modular SOS”, BRICS, vol. 6, no. 54, Dec. 1999.