Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson. - Nielson, Hanne Riis, 1954- (Undergraduate topics in computer science, 2007)