>>136
和書だと岩波『計算モデルの基礎理論』とか共立『プログラム意味論』とか。