How to Design Programs is maybe my all time favorite programming book. BUT it is incredibly dense and you can't go to it for your first book. Realms of Racket is a good one though.