Semantics with applications an appetizer - Nielson, Hanne Riis 1954- (Undergraduate topics in computer science, 2007)