P. D. Mosses, “The Operational Semantics of Action Notation”, DPB, vol. 21, no. 418, Sep. 1992.