Try HTDP, Concrete Abstractions or Concepts, Techniques, and Models of Computer Programming.

The * Schemer books are cool too.