SICP
O livro-texto de Harold Abelson e Gerald Jay Sussman (1985, segunda edição em 1996). Material do curso 6.001 do MIT. Conhecido como o livro do mago, por causa da capa.
Não é sobre Scheme; ele usa Scheme para se safar com sintaxe mínima: abstração, funções de ordem superior, abstração de dados, estado e tempo, streams, um avaliador metacircular (um interpretador de Lisp escrito em Lisp) e, por fim, uma máquina de registradores com um compilador. O MIT substituiu o curso em 2008 por um baseado em Python, argumentando que programar hoje é mais combinar bibliotecas que você não entende por completo do que construir tudo do zero. Uma edição em JavaScript saiu em 2022. O livro está disponível gratuitamente na internet.