Action semantics - Mosses, Peter D. (Cambridge University Press, 1992)