My Top 100 Programming, Computer and Science Books: Part One
My favorite one is Concepts, Techniques, and Models of Computer Programming:https://www.info.ucl.ac.be/~pvr/bookI believe it's a terrific sequel to SICP, despite not using Lisp. The only little disappointment with the book is when they use Java as a canonical OO language to compare Oz/Mozart with. They should have used Smalltalk!As a prequel to SICP, I love The Little Schemer.I love The Art of Prolog too. As a modern successor to Prolog, https://probmods.org/ is awesome.If we talk about theoretical CS, http://en.wikipedia.org/wiki/Computers_and_Intractability is terrific. Very short and elegant.