H. Abelson and G.J. Sussman. Structure and Interpretation of Computer Programs. Cambridge, Mass.: MIT Press, 1984. (There is a 1996 edition, but we haven't checked it out yet!)
H. Abelson et al. Revised Report on the Algorithmic Language Scheme.