"Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)" - читать интересную книгу автора (Hanne Riis Nielson, Flemming Nielson)