Review of Concepts, Techniques, and Models of Computer Programming powered by the Slant community.
This is the one to read after SICP.
Ranked in these QuestionsQuestion Ranking
The models are presented with mathematical rigor.
Pro Teaches the major paradigms
You could study dozens of languages to learn the techniques, or you could read this book and get them all with Mozart/Oz.