RWH is great too, but the topics are very different. RWH is about using functional programming. CTM is about a lot of different paradigms. It starts with a simple core language, and a set of features, like dataflow variables, lazy evaluation, higher order functions, concurrency, ports (message passing queues), mutable state, backtracking. Then it explores what happens if you take a subset of these features. For example dataflow variables + concurrency is deterministic concurrency. Mutable state + higher order functions can support object oriented programming. Ports + concurrency is an Erlang like model.

Lazy functional programming is just one of these models (higher order functions + laziness). CTM shows that other models can be beautiful and powerful too.