I would also suggest "Concepts, Techniques, and Models of Computer Programming", "How to Design Programs" (second edition: https://htdp.org/2020-8-1/Book/index.

I would also suggest "Concepts, Techniques, and Models of Computer Programming", "How to Design Programs" (second edition: https://htdp.org/2020-8-1/Book/index.html https://htdp.org/2020-8-1/Book/index.html), and the books in "The little X" series (such as The little schemer).