Text this: Formal semantics: An introduction