@article{Granville&Monagan:1988,
	key = "Granville and Monagan 1988",
	author = "A. Granville and M. B. Monagan",
	title = "The first case of {Fermat's} last theorem is true for all
prime exponents up to $714,591,416,091,389$",
	journal = TAMS,
	volume = 306,
	year = 1988,
	pages = "329-359"}

@article{Radoux:1980,
	key = "Radoux 1980",
	author = "C. Radoux",
	title = "Conjecture de {Fermat} et informatique",
	journal = "Bull. de la Soci\'et\'e Math\'ematique de Belgique",
	volume = 32,
	series = "B",
	year = 1980,
	pages = "229-234"}

@article{Wagstaff:1978,
	key = "Wagstaff 1978",
	author = "Wagstaff, Jr., S. S.",
	title = "The irregular primes to 125000",
	journal = MC,
	volume = 32,
	year = 1978,
	pages = "583-591"}

@article{Tanner&Wagstaff:1987,
	key = "Tanner and Wagstaff 1987",
	author = "J. W. Tanner and Wagstaff, Jr., S. S.",
	title = "New congruences for the {Bernoulli} numbers",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "341-350"}

@article{Lehmer&Lehmer&Vandiver:1954,
	key = "D. H. Lehmer, Lehmer, and Vandiver 1954",
	author = "D. H. Lehmer and E. Lehmer and H. S. Vandiver",
	title = "An application of high-speed computing to {Fermat's}
last theorem",
	journal = PNAS,
	volume = 40,
	year = 1954,
	pages = "25-33"}

@article{Tanner&Wagstaff:1989,
	key = "Tanner and Wagstaff 1989",
	author = "J. W. Tanner and Wagstaff, Jr., S. S.",
	title = "New bound for the first case of {Fermat's} last theorem",
	journal = MC,
	volume = 53,
	year = 1989,
	pages = "743-750"}

@article{Coppersmith:1990,
	key = "Coppersmith 1990",
	author = "D. Coppersmith",
	title = "Fermat's last theorem (case 1) and the {Wieferich} criterion",
	journal = MC,
	volume = 54,
	year = 1990,
	pages = "895-902"}

@article{Buhler&Crandall&Sompolski:1992,
	key = "Buhler, Crandall, and Sompolski 1992",
	author = "J. P. Buhler and R. E. Crandall and R. W. Sompolski",
	title = "Irregular primes to one million",
	journal = MC,
	volume = 59,
	year = 1992,
	pages = "717-722"}

@article{Buhler&Crandall&Ernvall&Metsankyla:1993,
	key = "Buhler, Crandall, Ernvall, and {Mets\"ankyl\"a} 1993",
	author = "J. P. Buhler and R. E. Crandall and R. Ernvall and T. {Mets\"ankyl\"a}",
	title = "Irregular primes and cyclotomic invariants to four million",
	journal = MC,
	volume = 61,
	year = 1993,
	pages = "151-153"}

@article{Dilcher&Skula:1995,
	key = "Dilcher and Skula 1995",
	author = "K. Dilcher and L. Skula",
	title = "A new criterion for the first case of {Fermat's} last theorem",
	journal = MC,
	volume = 64,
	year = 1995,
	pages = "363-392"}

@article{Wiles:1995,
	key = "Wiles 1995",
	author = "A. Wiles",
	title = "Modular elliptic curves and {Fermat's} last theorem",
	journal = AM,
	volume = 142,
	year = 1995,
	pages = "443-551"}

@article{Taylor&Wiles:1995,
	key = "Taylor and Wiles 1995",
	author = "R. Taylor and A. Wiles",
	title = "Ring-theoretic properties of certain {Hecke} algebras",
	journal = AM,
	volume = 141,
	year = 1995,
	pages = "553-572"}