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