Action semantics /
Mosses, Peter D.
Cambridge Cambridge University Press
1992