\bib{1993/atkin-ecpp} \yr 1993 \mr 93m:11136 \by A. O. L. Atkin \by Francois Morain \paper Elliptic curves and primality proving \jour Mathematics of Computation \issn 0025--5718 \vol 61 \pages 29--68 \url http://www.lix.polytechnique.fr/~morain/Articles/articles.english.html \endref