Text this: A practical introduction to denotational semantics /