(CTM for short) This is the one to read after SICP. Or instead. There's a lot of overlap.
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.