LaTeX sources for Semantics of Programming Languages exercises