Semantics with Applications: An Appetizer - Nielson, Hanne Riis (Springer-Verlag London Limited, 2007)