Surprised that no one has yet mentioned EOPL ("Essentials of Programming Languages"). An awesome book imho.