Primality testing in polynomial time : from randomized algorithms to "primes" is in P - Dietzfelbinger, Martin (Springer, 2004)