Mosses, P. D. Theory and Practice of Action Semantics. BRICS 1996, 3.