I was looking at this Stack Exchange discussion: https://cstheory.stackexchange.com/questions/3533/books-on-programming-language-semantics but it seems very outdated.