P. D. Mosses, “Theory and Practice of Action Semantics”, BRICS, vol. 3, no. 53, Jun. 1996.