Harold Abelson, Gerald Jay Sussman, Julie Sussman · 1996 · Link
Programs as ideas: abstraction, interpretation, state, evaluation, and the shape of computation.