参考文献

• 小林孝次郎「ソフトウェア講座 33 計算の複雑さ」昭晃堂(1988)
• 渡辺治「アルゴリズムシリーズ 3 計算可能性・計算の複雑さ入門」近代科学社(1992)
• 笠井琢美「コンピュータサイエンス大学講座 17 計算量の理論」近代科学社(1987)
• 笠井琢美・戸田誠之助「情報数学講座 4 計算の理論」共立出版(1993)
• 岩田茂樹/笠井琢美「有限オートマトン入門」森北出版(1986)
• Hartley Rogers, Jr.「Theory of Recursive Functions and Effective Computability」The MIT Press(1988)
• D. Knuth「The Art of Computer Programing Vol 3 Sorting and Searching」Addison-Wesley Publishing Company, Inc(1973)
• 八杉満利子・林晋「お話・数学基礎論」Blue Backs B-1374, 講談社(2002)