Shame these books didn't make the list:

Structure and Interpretation of Computer Programs: https://mitpress.mit.edu/sites/default/files/sicp/index.html

Concepts, Techniques and Models of Computer Programming https://www.info.ucl.ac.be/~pvr/book.html

The former is probably mentioned and well known enough, but it's surprising to me how few people know about the latter, or at least I rarely see it mentioned in "best computer books"