Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)