>>765
俺はその本を少しと、754が言ってる「プログラム意味論」, 横内寛文
を読んだことがあるけど、後者の方が説明がわかりやすい上に、内容
が深いと思った。
ただし、無味乾燥で、扱ってる内容が少々難しくなるが。