Essentials of Programming Languages (EOPL) http://www.amazon.com/Essentials-Programming-Languages-Danie...

and

The Seasoned Schemer as well http://www.amazon.com/Seasoned-Schemer-Daniel-P-Friedman/dp/...