The best Semantics of Programming Languages documents for Computer science