計算機プログラムの構造と解釈第2版

第二版は新しい主題を強調。最も主要なのは計算モデルでの時の扱いの異る解決法：状態を持つオブジェクト、並列プログラミング、関数型プログラミング、遅延評価と非決定性などの果す役割である。並列性と非決定性の新しい節を採用し、この主題を全体で統一した。