@misc{preprint-bernstein-aks ,note={URL: {\tt http://\allowbreak cr.yp.to/\allowbreak papers.html\#aks}} ,author={Daniel J. Bernstein} ,title={{Proving primality after Agrawal-Kayal-Saxena}} }