Add to the list Structure and Interpretation of Computer Programs, which fits perfectly following The Little Schemer, and you're all set.