計算量理論概説 - 足立, 暁生; 西野, 哲朗 (朝倉書店, 1988)