Action semantics - Mosses, Peter D. (Cambridge : Cambridge University Press, 1992)
Includes bibliographical references and index
Keywords: Programming languages (Electronic computers) -- Semantics