That remind me of Peter Van Roy, Concepts, Techniques, and Models of Computer Programming, 2004 Similar approach for first years in two of the main universitie

That remind me of Peter Van Roy, Concepts, Techniques, and Models of Computer Programming, 2004 Similar approach for first years in two of the main universities in Belgium. One uses lisp with SICP, the other the language developed in this book (Oz). The book constructs many of the current programming paradigms, starting from almost nothing, with an emphasis on software design.