\bib{1975/morrison}
\yr 1975
\mr 51:8017
\by Michael A. Morrison
\by John Brillhart
\paper A method of factoring and the factorization of $F_7$
\jour Mathematics of Computation
\issn 0025--5718
\vol 29
\pages 183--205
\endref