Comment by anthk

SICP already does that for the programmer, and "Concrete Abstractions" for the novice making it ready for SICP.