プログラミング言語の基礎概念(ライブラリ情報学コア・テキスト24)
www.fos.kuis.kyoto-u.ac.jp