Mosses, P. D. (1999) “Foundations of Modular SOS”, BRICS Report Series, 6(54). doi: 10.7146/brics.v6i54.20124.