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