Here are books you may be interested in if you want to go into much more depth on some of the class material, and in many cases beyond it. None of these is required for the class. The books with boldfaced titles are particularly good.
Aho, Lam, Sethi, Ullman, Compilers: Principles, Techniques, and Tools (ALSU)
Appel, Compiling with Continuations
Barendregt, Lambda Calculi with Types (web download)
Clarke, Grumberg, and Peled, Model Checking
Felleisen, Findler, and Flatt, Semantics Engineering with PLT Redex
Gries, The Science of Programming
Hankin, Lambda Calculi: A Guide for Computer Scientists.
Mitchell, Foundations for Programming Languages
Nielson and Nielson, Semantics with Applications: A Formal Introduction (web download)
Nielson, Nielson, and Hankin, Principles of Program Analysis
Pierce, Types and Programming Languages (TAPL)
ALSU, chapter 4; plus see lecture notes for the new version of the book.