P. D. Mosses, “Foundations of Modular SOS”, BRICS, bd. 6, nr. 54, dec. 1999.