\bib{1978/velu} \yr 1978 \by Jacques V\'elu \paper Tests for primality under the Riemann hypothesis \jour SIGACT \vol 10 \pages 58--59 \endref