プログラム意味論じゃなくてzについてそろそろ勉強したいのですが、
どの本がいいのでしょうか？