Mosses, P. D. Foundations of Modular SOS. BRICS 1999, 6.