Denotational Semantics - STOY, Joseph E. (Cambridge MIT Pr., 1977)