Primality Testing in Polynomial Time by Martin Dietzfelbinger