\bib{1987/pomerance-short}
\yr 1987
\mr 88b:11088
\by Carl Pomerance
\paper Very short primality proofs
\jour Mathematics of Computation
\issn 0025--5718
\vol 48
\pages 315--322
\endref