The book referred to by this diagram, "Concepts, Techiques, and Models of Computer Programming" is actually quite related to TFA too. I.e. the book starts with

The book referred to by this diagram, "Concepts, Techiques, and Models of Computer Programming" is actually quite related to TFA too. I.e. the book starts with a basic language and extends it in different ways to gain more espressive potential, i.e. HOFs, lazyness, state, different concurrency primitives, logic programming, constraint solving etc. It's a big book, but it's wonderful.