The Structure and Interpretation of Computer Programs, by Hal Abelson and Gerald Sussman. Classic text on computer science.