Primality testing with cyclotomic rings. Unpublished (http://cr.yp.to/papers.html#aks has an exposition of Lenstra’s argument (2002)

by H W Lenstra