If not SICP, then what? Maybe HTDP?.