Four types of abstraction are the magic spells that the aspiring computer scientist needs to know, and SICP/6.001 taught them using Scheme.

Reflections on SICP
post.ly