A Practical Introduction to Denotational Semantics door Lloyd Allison