P. D. Mosses, “A Modular SOS for Action Notation”, BRICS, vol. 6, no. 56, Dec. 1999.