A practical introduction to denotational semantics - Allison, Lloyd (Cambridge computer science texts, 1995)