计算机程序的构造和解释

Structure and Interpretation of Computer Programs

Harold Abelson / Gerald Jay Sussman 著

SICP —— MIT 计算机科学经典教材，以 Scheme 语言揭示编程本质。