Dietzfelbinger, Martin. Primality Testing in Polynomial Time: From Randomized Algorithms to ?Primes Is in P? In Lecture Notes in Computer Science. SpringerVerlag, 2004.