On primes recognizable in deterministic polynomial time, in [15 (1997)

by Sergei Konyagin, Carl Pomerance