プログラミングの理論的基礎を理解するために必要な、帰納的関数、
プログラミング言語の意味論（公理的・操作的・表示的意味論）、
抽象データ型、並行計算論を包括的かつ詳細に解説しています。19
82年に出版された本ですが、抽象データ型やアクター理論など、現
在主流であるオブジェクト指向プログラミングに至る発想がわかる
貴重な書です。このような内容を一冊で解説してある本は洋書でも
あまり見当たりません。第２章以下の理論的な内容に加え、抽象デー
タ型がどのような発想で生まれてきたかを例題ベースで解説する第
１章は読み物としても楽しめます（使用言語がRatforという，時代
を感じさせるものではありますが）。