「プログラム意味論」と同シリーズの、
｢プログラム言語の基礎理論｣っつーのはどうでしょうか？