A practical introduction to denotational semantics (0 521 31423 2) - LLOYD ALLISON (Cambridge, 1987)