Menon, Vijay. Deterministic Primality Testing - understanding the AKS algorithm., 2003.