Mosses, P. D. The Operational Semantics of Action Notation. DPB 1992, 21.