Exercises of Semantics of Programming Languages: download the best