ACTION SEMANTICS - Mosses, Peter D. (Cambridge Cambridge Univ. Pr., 1992)
Keywords: Semantics; Programming Languages (Electronic Computer)