「コンピュータプログラミングの概念・技法・モデル」は?
SICPと同じ系統だと思うのだが