PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS - Allison, Lloyd (Cambridge Cambridge Univ. Pr., 1986)
Keywords: Programming Languages (Electronic Computers) -- Semantics