P. D. Mosses, “A Modular SOS for Action Notation”, BRICS, bd. 6, nr. 56, dec. 1999.