川添 愛／著 -- 東京大学出版会 -- 2013.4 -- 007.1

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1

J.ホップクロフト／共著 -- サイエンス社 -- 2003.8 -- 007.1

米田 政明／監修 -- 近代科学社 -- 2003.5 -- 007.1

J.ホップクロフト／共著 -- サイエンス社 -- 2003.4 -- 007.1

J.ホップクロフト／共著 -- サイエンス社 -- 1986.3 -- 007.1