M.O.Rabin
1976年ACMチューリング賞記念講演 計算量の理論 計算の複雑さについて
1978年08月号