新装版 プログラミング言語の基礎理論 - 共立出版
大堀 淳 著