Mosses, P. D. Pragmatics of Modular SOS. BRICS 2003, 10.