ソフトウエア科学のための論理学 萩谷昌己 岩波講座ソフトウエア科学11
計算モデルの基礎理論 井田哲雄 岩波講座ソフトウエア科学12
プログラムの基礎理論 佐藤雅彦、桜井貴文 岩波講座ソフトウエア科学13