@article{Finn&Lieberherr:1983,
	key = "Finn and Lieberherr 1983",
	author = "J. Finn and K. Lieberherr",
	title = "Primality testing and factoring",
	journal = TCS,
	volume = 23,
	year = 1983,
	pages = "211-215"}

@article{Lehmann:1982,
	key = "Lehmann 1982",
	author = "D. J. Lehmann",
	title = "On primality tests",
	journal = SIAMJC,
	volume = 11,
	year = 1982,
	pages = "374-375"}

@article{Miller:1976,
	key = "G. Miller 1976",
	author = "G. Miller",
	title = "Riemann's hypothesis and tests for primality",
	journal = JCSS,
	volume = 13,
	year = 1976,
	pages = "300-317"}

@article{Monier:1980,
	key = "Monier 1980",
	author = "L. Monier",
	title = "Evaluation and comparison of two efficient probabilistic
	primality testing algorithms",
	journal = TCS,
	volume = 12,
	year = 1980,
	pages = "97-108"}

@incollection{Rabin:1976,
	key = "Rabin 1976",
	author = "M. O. Rabin",
	title = "Probabilistic algorithms",
	booktitle = "Algorithms and Complexity: New Directions and Recent
	Results",
	editor = "J. F. Traub",
	publisher = AP,
	address = NY,
	year = 1976,
	pages = "21-39"}

@article{Rabin:1980b,
	key = "Rabin 1980b",
	author = "M. O. Rabin",
	title = "Probabilistic algorithm for testing primality",
	journal = JNT,
	volume = 12,
	year = "{\noopsort{1980b}}1980",
	pages = "128-138"}

@article{Velu:1978,
	key = "{V\'elu} 1978",
	author = {J. V\'elu},
	title = "Tests for primality under the {Riemann} hypothesis",
	journal = SIGACT,
	volume = 10,
	number = 2,
	year = 1978,
	pages = "58-59"}

@article{Williams:1978a,
	key = "H. Williams 1978a",
	author = "H. C. Williams",
	title = "Primality testing on a computer",
	journal = AC,
	volume = 5,
	year = 1978,
	pages = "127-185"}

@article{Williams:1978b,
	key = "H. Williams 1978b",
	author = "H. C. Williams",
	title = "Some primes with interesting digit patterns",
	journal = MC,
	volume = 32,
	year = 1978,
	pages = "1306-1310",
	note = "Corrigendum in {\bf 39} (1982), 759"}

@article{Pomerance&Selfridge&Wagstaff:1980,
	key = "Pomerance, Selfridge, and Wagstaff 1980",
	author = "C. Pomerance and J. L. Selfridge and Wagstaff, Jr., S. S.",
	title = "The pseudoprimes to $25 \cdot 10^9$",
	journal = MC,
	volume = 35,
	year = 1980,
	pages = "1003-1026"}

@article{Pratt:1975,
	key = "Pratt 1975",
	author = "V. R. Pratt",
	title = "Every prime has a succinct certificate",
	journal = SIAMJC,
	volume = 4,
	year = 1975,
	pages = "214-220"}

@article{Solovay&Strassen:1977,
	key = "Solovay and Strassen 1977",
	author = "R. Solovay and V. Strassen",
	title = "A fast {Monte-Carlo} test for primality",
	journal = SIAMJC,
	volume = 6,
	year = 1977,
	pages = "84-85",
	note = "Erratum in {\bf 7} (1978), 118"}

@techreport{Finn:1982b,
	key = "Finn 1982b",
	author = "J. Finn",
	title = "Finding square roots modulo a prime, primality testing,
	and factoring",
	institution = "Princeton University, Dept. of EE \& CS",
	number = 295,
	month = "February",
	year = "{\noopsort{1982b}}1982"}

@techreport{Finn:1982c,
	key = "Finn 1982c",
	author = "J. Finn",
	title = "Comparison of probabilistic tests for primality",
	institution = "Princeton University, Dept. of EE \& CS",
	month = "February",
	number = 297,
	year = "{\noopsort{1982c}}1982"}

@techreport{Tompa:1983,
	key = "Tompa 1983",
	author = "M. Tompa",
	title = "Probabilistic factoring algorithms can be made errorless",
	institution = "University of Washington, Department
	of Computer Science",
	number = "83-09-01",
	month = "September",
	year = 1983}

@article{Adleman&Pomerance&Rumely:1983,
	key = "Adleman, Pomerance, and Rumely 1983",
	author = "L. M. Adleman and C. Pomerance and R. S. Rumely",
	title = "On distinguishing prime numbers from composite numbers",
	journal = AM,
	volume = 117,
	year = 1983,
	pages = "173-206"}

@incollection{Lenstra:1981,
	key = "H. W. Lenstra 1981",
	author = "Lenstra, Jr., H. W.",
	title = "Primality testing algorithms (after {Adleman}, {Rumely} and
	{Williams})",
	booktitle = {S\'eminaire Bourbaki \#576},
	series = LNIM,
	number = 901,
	publisher = SV,
	year = 1981,
	pages = "243-257"}

@article{Lenstra:1979,
	key = "H. W. Lenstra 1979",
	author = "Lenstra, Jr., H. W.",
	title = "Miller's primality test",
	journal = IPL,
	volume = 8,
	year = 1979,
	pages = "86-88"}

@article{Cohen&Lenstra:1984c,
	key = "H. Cohen and H. W. Lenstra 1984c",
	author = "H. Cohen and Lenstra, Jr., H. W.",
	title = "Primality testing and {Jacobi} sums",
	journal = MC,
	volume = 42,
	year = 1984,
	pages = "297-330"}

@article{Lenstra:1984a,
	key = "H. W. Lenstra 1984a",
	author = "Lenstra, Jr., H. W.",
	title = "Divisors in residue classes",
	journal = MC,
	volume = 42,
	year = 1984,
	pages = "331-340"}

@article{Gillies:1964,
	key = "Gillies 1964",
	author = "D. B. Gillies",
	title = "Three new {Mersenne} primes and a statistical theory",
	journal = MC,
	volume = 18,
	year = 1964,
	pages = "93-95",
	note = "Corrigendum in {\it Math.\ Comp.} {\bf 31} (1977), 1051"}

@article{Good:1955,
	key = "Good 1955",
	author = "I. J. Good",
	title = "Conjectures concerning the {Mersenne} numbers",
	journal = MTAC,
	volume = 9,
	year = 1955,
	pages = "120-121"}

@article{Hurwitz:1962,
	key = "Hurwitz 1962",
	author = "A. Hurwitz",
	title = "New {Mersenne} primes",
	journal = MC,
	volume = 16,
	year = 1962,
	pages = "249-251"}

@article{Slowinski:1979,
	key = "Slowinski 1979",
	author = "D. Slowinski",
	title = "Searching for the 27th {Mersenne} prime",
	journal = JRM,
	volume = 11,
	year = "1978-9",
	pages = "258-261"}

@article{Wagstaff:1983,
	key = "Wagstaff 1983",
	author = "Wagstaff, Jr., S. S.",
	title = "Divisors of {Mersenne} numbers",
	journal = MC,
	volume = 40,
	year = 1983,
	pages = "385-397"}
	
@article{Lehmer:1927,
	key = "D. H. Lehmer 1927",
	author = "D. H. Lehmer",
	title = "Tests for primality by the converse of {Fermat's} theorem",
	journal = BAMS,
	volume = 33,
	year = 1927,
	pages = "327-340",
	note = "Errata in {\it Math. Comp.} {\bf 23} (1969), 217"}

@article{Lehmer:1928a,
	key = "D. H. Lehmer 1928a",
	author = "D. H. Lehmer",
	title = "A further note on the converse of {Fermat's} theorem",
	journal = BAMS,
	volume = 34,
	year = 1928,
	pages = "54-56"}

@article{Lehmer:1929,
	key = "D. H. Lehmer 1929",
	author = "D. H. Lehmer",
	title = "On the number $(10^{23}-1)/9$",
	journal = BAMS,
	volume = 35,
	year = 1929,
	pages = "349-350"}

@article{Lehmer:1930a,
	key = "D. H. Lehmer 1930a",
	author = "D. H. Lehmer",
	title = "An extended theory of {Lucas'} functions",
	journal = AM,
	volume = 31,
	year = 1930,
	pages = "419-448"}

@article{Lehmer:1930b,
	key = "D. H. Lehmer 1930b",
	author = "D. H. Lehmer",
	title = "A fallacious principle in the theory of numbers",
	journal = BAMS,
	volume = 36,
	year = 1930,
	pages = "847-850"}

@article{DHLehmer:1932a,
	key = "D. H. Lehmer 1932a",
	author = "D. H. Lehmer",
	title = "Note on {Mersenne} numbers",
	journal = BAMS,
	volume = 38,
	year = "{\noopsort{1932a}}1932",
	pages = "383-384"}

@article{Lehmer:1935,
	key = "D. H. Lehmer 1935",
	author = "D. H. Lehmer",
	title = "On {Lucas's} test for the primality of {Mersenne's} numbers",
	journal = JLMS,
	volume = 10,
	year = 1935,
	pages = "162-165"}

@article{Lehmer:1936a,
	key = "D. H. Lehmer 1936a",
	author = "D. H. Lehmer",
	title = "On the converse of {Fermat's} theorem",
	journal = AMM,
	volume = 43,
	year = 1936,
	pages = "347-354",
	note = "Errata in {\it Math. Tables Aids Comput.} {\bf 2} (1947), 279;
{\it Math. Comp.} {\bf 25} (1971) 943"}

@article{Lehmer:1936b,
	key = "D. H. Lehmer 1936b",
	author = "D. H. Lehmer",
	title = "On the function {$x^2 + x + A$}",
	journal = "Sphinx",
	volume = 6,
	year = 1936,
	pages = "212-214"}

@article{DHLehmer:1939,
	key = "D. H. Lehmer 1939",
	author = "D. H. Lehmer",
	title = "A factorization theorem applied to a test for primality",
	journal = BAMS,
	volume = 45,
	year = 1939,
	pages = "132-137"}

@article{Lehmer:1949,
	key = "D. H. Lehmer 1949",
	author = "D. H. Lehmer",
	title = "On the converse of {Fermat's} theorem {II}",
	journal = AMM,
	volume = 56,
	year = 1949,
	pages = "300-309",
	note = "Errata in {\it Math. Comp.} {\bf 25} (1971), 943--944"}

@article{Lucas:1878a,
	key = "Lucas 1878a",
	author = "E. Lucas",
	title = {Th\'eorie des fonctions num\'eriques simplement p\'eriodiques},
	journal = AJM,
	volume = 1,
	year = "{\noopsort{1878a}}1878",
	pages = "289-321"}

@article{Western:1932,
	key = "Western 1932",
	author = "A. E. Western",
	title = "On {Lucas's} and {Pepin's} tests for the primeness
	of {Mersenne} numbers",
	journal = JLMS,
	volume = 7,
	year = 1932,
	pages = "130-137"}

@article{Ankeny:1952,
	key = "Ankeny 1952",
	author = "N. C. Ankeny",
	title = "The least quadratic non residue",
	journal = AM,
	volume = 55,
	year = 1952,
	pages = "65-72"}

@article{Brewer:1951,
	key = "Brewer 1951",
	author = "B. W. Brewer",
	title = "Tests for primality",
	journal = DMJ,
	volume = 18,
	year = 1951,
	pages = "757-763"}

@article{Brillhart&Lehmer&Selfridge:1975,
	key = "Brillhart, Lehmer, and Selfridge 1975",
	author = "J. Brillhart and D. H. Lehmer and J. L. Selfridge",
	title = "New primality criteria and factorizations of $2^m \pm 1$",
	journal = MC,
	volume = 29,
	year = 1975,
	pages = "620-647"}

@article{Inkeri:1960,
	key = "Inkeri 1960",
	author = "K. Inkeri",
	title = "Tests for primality",
	journal = AASF,
	series = "A",
	number = 279,
	year = 1960,
	pages = "1-19"}

@article{Kaplansky:1945,
	key = "Kaplansky 1945",
	author = "I. Kaplansky",
	title = "{Lucas's} tests for {Mersenne} numbers",
	journal = AMM,
	volume = 52,
	year = 1945,
	pages = "188-190"}

@article{Morrison:1975,
	key = "M. Morrison 1975",
	author = "M. A. Morrison",
	title = "A note on primality testing using {Lucas} sequences",
	journal = MC,
	volume = 29,
	year = 1975,
	pages = "181-182"}

@article{Pocklington:1914,
	key = "Pocklington 1914",
	author = "H. C. Pocklington",
	title = "The determination of the prime or composite nature of large
	numbers by {Fermat's} theorem",
	journal = PCPS,
	volume = 18,
	year = "1914-1916",
	pages = "29-30"}

@article{Pollard:1971b,
	key = "Pollard 1971b",
	author = "J. M. Pollard",
	title = "An algorithm for testing the primality of any integer",
	journal = BLMS,
	volume = 3,
	year = "{\noopsort{1971b}}1971",
	pages = "337-340"}

@article{Jones&Sato&Wada&Wiens:1976,
	key = "J. Jones, Sato, Wada, and Wiens 1976",
	author = "J. P. Jones and D. Sato and H. Wada and D. Wiens",
	title = "Diophantine representation of the set of prime numbers",
	journal = AMM,
	volume = 83,
	year = 1976,
	pages = "449-464"}

@article{Chaitin&Schwartz:1978,
	key = "Chaitin and Schwartz 1978",
	author = "G. J. Chaitin and J. T. Schwartz",
	title = "A note on {Monte} {Carlo} primality tests and algorithmic
	information theory",
	journal = CPAM,
	volume = 31,
	year = 1978,
	pages = "521-527"}

@techreport{Baratz:1978,
	key = "Baratz 1978",
	author = "A. E. Baratz",
	title = "An analysis of the {Solovay} and {Strassen} 
test for primality",
	institution = "MIT Laboratory for Computer Science",
	number = "MIT/LCS/TM-108",
	month = "July",
	year = 1978}

@article{Wagon:1986,
	key = "Wagon 1986",
	author = "S. Wagon",
	title = "Primality testing",
	journal = MI,
	volume = 8,
	number = 3,
	year = 1986,
	pages = "58-61"}

@article{Pomerance:1981a,
	key = "Pomerance 1981a",
	author = "C. Pomerance",
	title = "Recent developments in primality testing",
	journal = MI,
	volume = 3,
	year = "{\noopsort{1981a}}1981",
	pages = "97-105"}

@article{Cohen&Lenstra:1987,
	key = "H. Cohen and A. K. Lenstra 1987",
	author = "H. Cohen and A. K. Lenstra",
	title = "Implementation of a new primality test",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "103-121"}

@article{Riesel:1969,
	key = "Riesel 1969",
	author = "H. Riesel",
	title = "Lucasian criteria for the primality of
	{$N = h \cdot 2^n - 1$}",
	journal = MC,
	volume = 23,
	year = 1969,
	pages = "869-875"}

@article{Adams&Shanks:1982,
	key = "W. Adams and Shanks 1982",
	author = "W. W. Adams and D. Shanks",
	title = "Strong primality tests that are not sufficient",
	journal = MC,
	volume = 39,
	year = 1982,
	pages = "255-300"}

@article{Adleman&Leighton:1981,
	key = "Adleman and Leighton 1981",
	author = "L. M. Adleman and F. T. Leighton",
	title = "An {$O(n^{1/10.89})$} primality testing algorithm",
	journal = MC,
	volume = 36,
	year = 1981,
	pages = "261-266"}

@article{Wunderlich:1983a,
	key = "Wunderlich 1983a",
	author = "M. C. Wunderlich",
	title = "A performance analysis of a simple prime-testing algorithm",
	journal = MC,
	volume = 40,
	year = "{\noopsort{1983a}}1983",
	pages = "709-714"}

@article{Beauchemin&Brassard&Crepeau&Goutier&Pomerance:1988,
	key = "Beauchemin, Brassard, Crepeau, Goutier, and Pomerance 1988",
	author = "P. Beauchemin and G. Brassard and C. Cr\'epeau and
C. Goutier and C. Pomerance",
	title = "The generation of random numbers that are probably prime",
	journal = JC,
	volume = 1,
	year = 1988,
	pages = "53-64"}

@inproceedings{Mihailescu:1988,
	key = "Mihailescu 1988",
	author = "P. Mihailescu",
	title = "A primality test using cyclotomic functions",
	booktitle = "AAECC-6",
	editor = "T. Mora",
	series = LNICS,
	volume = 357,
	year = 1988,
	publisher = SV,
	pages = "310-323"}

@article{Kim&Pomerance:1989,
	key = "Kim and Pomerance 1989",
	author = "S. H. Kim and C. Pomerance",
	title = "The probability that a random probable prime is
composite",
	journal = MC,
	volume = 53,
	year = 1989,
	pages = "721-741"}

@article{Fendel:1985,
	key = "Fendel 1985",
	author = "D. Fendel",
	title = "Prime-producing polynomials and principal ideal domains",
	journal = MM,
	volume = 58,
	year = 1985,
	pages = "204-210"}

@article{Frobenius:1912,
	key = "Frobenius 1912",
	author = "F. G. Frobenius",
	title = "{\"Uber} quadratische {Formen}, die viele {Primzahlen}
		darstellen",
	journal = "Sitzungsber. d. {K\"onigl.} Akad. d. Wiss. zu Berlin",
	year = 1912,
	pages = "966-980",
	note = "Reprinted in {\it Gesammelte Abhandlungen}, Vol.~III,
		pp.~573--587"}

@incollection{Rabinovitch:1912,
	key = "Rabinovitch 1912",
	author = "G. Rabinovitch",
	title = "Eindeutigkeit der {Zerlegung} in {Primzahlfaktoren} in
quadratischen {Zahlk\"orpern}",
	booktitle = "Proc. 5th Int. Cong. of Mathematicians 1912",
	editor = "E. W. Hobson and A. E. H. Love",
	volume = 1,
	year = 1912,
	pages = "418-421"}

@article{Ribenboim:1988a,
	key = "Ribenboim 1988a",
	author = "P. Ribenboim",
	title = "{Euler}'s famous prime generating polynomial and the class
number of imaginary quadratic fields",
	journal = EM,
	volume = 34,
	year = "{\noopsort{1988a}}1988",
	pages = "23-42"}

@incollection{Boyd:1988,
	key = "Boyd 1988",
	author = "C. Boyd",
	title = "Probabilistic prime tests",
	booktitle = "Computers in Mathematical Research",
	editor = "N. M. Stephens and M. P. Thorne",
	publisher = "Clarendon Press",
	address = "Oxford",
	year = 1988,
	pages = "57-68"}

@article{Dudley:1969,
	key = "Dudley 1969",
	author = "U. Dudley",
	title = "History of a formula for primes",
	journal = AMM,
	volume = 76,
	year = 1969,
	pages = "23-28"}

@article{Zagier:1977,
	key = "Zagier 1977",
	author = "D. Zagier",
	title = "The first 50 million prime numbers",
	journal = MI,
	volume = 0,
	month = "August",
	year = 1977,
	pages = "7-19"}

@article{Stechkin:1971,
	key = "Stechkin 1971",
	author = "S. B. Stechkin",
	title = "Lucas's criterion for the primality of numbers of the
form {$N = h 2^n - 1$}",
	journal = MN,
	volume = 10,
	year = 1971,
	pages = "578-584"}

@article{Bach:1990a,
	key = "Bach 1990a",
	author = "E. Bach",
	title = "Explicit bounds for primality testing and related problems",
	journal = MC,
	volume = 55,
	year = "{\noopsort{1990a}}1990",
	pages = "355-380"}

@article{Richards:1974,
	key = "Richards 1974",
	author = "I. Richards",
	title = "On the incompatibility of two conjectures concerning
primes; a discussion of the use of computers in attacking a
theoretical problem",
	journal = BAMS,
	volume = 80,
	year = 1974,
	pages = "419-438"}

@article{Couvreur&Quisquater:1982,
	key = "Couvreur and Quisquater 1982",
	author = "C. Couvreur and J. J. Quisquater",
	title = "An introduction to fast generation of large prime
numbers",
	journal = PJR,
	volume = 37,
	year = 1982,
	pages = "231-264",
	note = "Errata in {\it Philips J. Res.} {\bf 38} (1983), 77"} 

@article{Huthnance&Warndof:1988,
	key = "Huthnance and Warndof 1988",
	author = "E. D. Huthnance and J. Warndof",
	title = "On using primes for public key encryption systems",
	journal = AML,
	volume = 1,
	year = 1988,
	pages = "225-227"}

@article{Ogiwara:1987,
	key = "Ogiwara 1987",
	author = "M. Ogiwara",
	title = "A primality criteria based on an improvement of {Lenstra's}
residue class algorithm",
	journal = "Res. Rep. Inf. Sci. C, Comput. Sci. (Japan)",
	number = 88,
	month = "November",
	year = 1987,
	pages = "1-14"}

@article{Szekeres:1974,
	key = "Szekeres 1974",
	author = "G. Szekeres",
	title = "On the number of divisors of {$x^2 + x + A$}",
	journal = JNT,
	volume = 6,
	year = 1974,
	pages = "434-442"}

@article{Ayoub&Chowla:1981,
	key = "Ayoub and Chowla 1981",
	author = "R. G. Ayoub and S. Chowla",
	title = "On {Euler's} polynomial",
	journal = JNT,
	volume = 13,
	year = 1981,
	pages = "443-445"}
% more papers on primality testing & pseudoprimes

@incollection{Lenstra:1985,
	key = "H. W. Lenstra 1985",
	author = "Lenstra, Jr., H. W.",
	title = "Galois theory and primality testing",
	booktitle = "Orders and their Applications",
	series = LNIM,
	volume = 1142,
	editor = "I. Reiner and K. W. Roggenkamp",
	publisher = SV,
	year = 1985,
	pages = "169-189"}

@article{Adams:1987,
	key = "W. Adams 1987",
	author = "W. W. Adams",
	title = "Characterizing pseudoprimes for third-order linear
recurrences",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "1-15"}

@article{McDaniel:1989,
	key = "McDaniel 1989",
	author = "W. L. McDaniel",
	title = "Some pseudoprimes and related numbers having special forms",
	journal = MC,
	volume = 53,
	year = 1989,
	pages = "407-409"}

@article{Pintz&Steiger&Szemeredi:1989,
	key = "Pintz, Steiger, and {Szemer\'edi} 1989",
	author = "J. Pintz and W. L. Steiger and E. Szemer\'edi",
	title = "Infinite sets of primes with fast primality tests and
quick generation of large primes",
	journal = MC,
	volume = 53,
	year = 1989,
	pages = "399-406"}

@article{Jammalamadaka&Uppuluri:1989,
	key = "Jammalamadaka and Uppuluri 1989",
	author = "S. R. Jammalamadaka and V. R. R. Uppuluri",
	title = "Is $p$ a prime number?  {Some} probabilistic tests for
primality",
	journal = MATHSCI,
	volume = 14,
	year = 1989,
	pages = "55-61"}

@article{Williams:1982b,
	key = "H. Williams 1982b",
	author = "H. C. Williams",
	title = "A class of primality tests for trinomials which includes
the {Lucas-Lehmer} test",
	journal = PJM,
	volume = 98,
	year = "{\noopsort{1982b}}1982",
	pages = "477-494"}

@article{Calude&Zimand:1984,
	key = "Calude and Zimand 1984",
	author = "C. Calude and M. Zimand",
	title = "A relation between correctness and randomness in the
computation of probabilistic algorithms",
	journal = IJCM,
	volume = 16,
	year = 1984,
	pages = "47-53"}

@article{Borho&Buhl&Hoffmann&Mertens&Nebgen&Reckow:1983,
	key = "Borho, Buhl, Hoffmann, Mertens, Nebgen, and Reckow 1983",
	author = "W. Borho and J. Buhl and H. Hoffmann and S. Mertens
and E. Nebgen and R. Reckow",
	title = "{Gro\ss e} {Primzahlen} und befreundete {Zahlen}:
{\"Uber} den {Lucas-Test} und {Thabit-Regeln}",
	journal = MMGH,
	volume = 11,
	year = 1983,
	pages = "232-256"}

@article{Pajunen:1980,
	key = "Pajunen 1980",
	author = "S. Pajunen",
	title = "On two theorems of {Lenstra}",
	journal = IPL,
	volume = 11,
	year = 1980,
	pages = "224-228"}

@article{Harris:1969,
	key = "V. Harris 1969",
	author = "V. C. Harris",
	title = "A test for primality",
	journal = NMT,
	volume = 17,
	year = 1969,
	pages = "82"}

@article{Mignotte:1980b,
	key = "Mignotte 1980b",
	author = "M. Mignotte",
	title = "Tests de {primalit\'e}",
	journal = TCS,
	volume = 12,
	year = "{\noopsort{1980b}}1980",
	pages = "109-117"}

@article{Ward:1959,
	key = "Ward 1959",
	author = "M. Ward",
	title = "Tests for primality based on {Sylvester's} cyclotomic numbers",
	journal = PJM,
	volume = 9,
	year = 1959,
	pages = "1269-1272"}

@article{Norman:1979,
	key = "Norman 1979",
	author = "A. C. Norman",
	title = "Testing word-sized numbers for primality",
	journal = ASB,
	volume = 13,
	number = 4,
	year = "Nov. 1979",
	pages = "19-20"}

@article{Jonsson:1972,
	key = "{J\"onsson} 1972",
	author = "I. {J\"onsson}",
	title = "On certain primes of {Mersenne-type}",
	journal = BIT,
	volume = 12,
	year = 1972,
	pages = "117-118"}

@article{Morehead&Western:1909,
	key = "Morehead and Western 1909",
	author = "J. C. Morehead and A. E. Western",
	title = "Note on {Fermat's} numbers",
	journal = BAMS,
	volume = 16,
	year = 1909,
	pages = "1-6"}

@inproceedings{Pin:1981,
	key = "Pin 1981",
	author = "J.-E. Pin",
	title = "Test de primalit\'e pour calculatrice de poche,
d'apr\`es {L. Monier}",
	booktitle = "Laboratoire Informatique Th\'eorique, Institut de
Programmation, Institut Henri Poincar\'e",
	year = "1980/81",
	pages = "251-262"}

@techreport{Morain:1988,
	key = "Morain 1988",
	author = "F. Morain",
	title = "Implementation of the {Goldwasser-Kilian-Atkin} primality
testing algorithm",
	institution = "INRIA",
	month = "October",
	year = 1988,
	number = "911"}

@article{Young&Buell:1988,
	key = "Young and Buell 1988",
	author = "J. Young and D. A. Buell",
	title = "The twentieth {Fermat} number is composite",
	journal = MC,
	volume = 50,
	year = 1988,
	pages = "261-263"}

@inproceedings{DiPorto&Filipponi:1988,
	key = "Di Porto and Filipponi 1988",
	author = "A. Di Porto and P. Filipponi",
	title = "A probabilistic primality test based on the properties
of certain generalized {Lucas} numbers",
	booktitle = EUROCRYPT88,
	volume = 330,
	series = LNICS,
	publisher = SV,
	editor = "C. G. {G\"unther}",
	year = 1988,
	pages = "211-223"}

@inproceedings{GordonJ:1984a,
	key = "J. Gordon 1984a",
	author = "J. A. Gordon",
	title = "Strong primes are easy to find",
	booktitle = EUROCRYPT84,
	volume = 209,
	year = "{\noopsort{1984a}}1984",
	series = LNICS,
	editor = "T. Beth and N. Cot and I. Ingemarsson",
	publisher = SV,
	pages = "216-223"}

@article{Proth:1878,
	key = "Proth 1878",
	author = "F. Proth",
	title = "Th\'eor\`emes sur les nombres premiers",
	journal = CRASP,
	volume = 87,
	year = 1878,
	pages = "926"}

@article{Cunningham&Western:1904,
	key = "Cunningham and Western 1904",
	author = "A. Cunningham and A. E. Western",
	title = "On {Fermat's} numbers",
	journal = PLMS,
	volume = 1,
	year = 1904,
	pages = "175"}

@article{Lawrence:1897,
	key = "Lawrence 1897",
	author = "F. W. Lawrence",
	title = "Determination of certain primes",
	journal = PLMS,
	volume = 28,
	year = 1897,
	pages = "465-475"}

@article{Richards:1982,
	key = "Richards 1982",
	author = "I. Richards",
	title = "The invisible prime factor",
	journal = "Amer. Scientist",
	volume = 70,
	year = 1982,
	pages = "176-179"}

@article{Haghighi:1988,
	key = "Haghighi 1988",
	author = "M. Haghighi",
	title = "Computation of prime numbers by using a probabilistic
algorithm",
	journal = CMA,
	volume = 15,
	year = 1988,
	pages = "939-942"}

@incollection{Balasubramanian:1986,
	key = "Balasubramanian 1986",
	author = "R. Balasubramanian",
	title = "Number theory and primality testing",
	booktitle = "Proc. Workshop on Mathematics of Computer Algorithms",
	editor = "K. S. Rao",
	publisher = "Inst. Math. Sci.",
	address = "Madras, India",
	year = 1986,
	pages = "A.5.1-A.5.29"}

@incollection{Prasad:1986,
	key = "Prasad 1986",
	author = "T. V. S. R. V. Prasad",
	title = "Primality testing and its implications",
	booktitle = "Proc. Workshop on Mathematics of Computer Algorithms",
	editor = "K. S. Rao",
	publisher = "Inst. Math. Sci.",
	address = "Madras, India",
	year = 1986,
	pages = "A.6.1-A.6.6"}

@inproceedings{Kaltofen&Valente&Yui:1989,
	key = "Kaltofen, Valente, and Yui 1989",
	author = "E. Kaltofen and T. Valente and N. Yui",
	title = "An improved {Las Vegas} primality test",
	booktitle = "Proc. ACM-SIGSAM 1989 Intl. Symp. Symb. Alg. Comput.",
	year = 1989,
	pages = "26-33"}

@article{Williams:1987,
	key = "H. Williams 1987",
	author = "H. C. Williams",
	title = "Effective primality tests for some integers of the
forms {$A 5^n - 1$} and {$A 7^n - 1$}",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "385-403"}

@article{Brent:1973,
	key = "Brent 1973",
	author = "R. P. Brent",
	title = "The first occurrence of large gaps between successive primes",
	journal = MC,
	volume = 27,
	year = 1973,
	pages = "959-963"}

@book{Prachar:1957,
	key = "Prachar 1957",
	author = "K. Prachar",
	title = "Primzahlverteilung",
	publisher = SV,
	address = "Berlin",
	year = 1957,
	series = "Grundlehren der mathematischen Wissenschaften in
Einzeldarstellungen",
	volume = 91}

@book{Rademacher:1973,
	key = "Rademacher 1973",
	author = "H. Rademacher",
	title = "Topics in Analytic Number Theory",
	publisher = SV,
	address = "Berlin",
	year = 1973,
	series = "Grundlehren der mathematischen Wissenschaften in 
Einzeldarstellungen",
	volume = 169}

@article{Pepin:1877,
	key = "Pepin 1877",
	author = "T. Pepin",
	title = "Sur la formule $2^{2^n}+1$",
	journal = CRASP,
	volume = 85,
	year = 1877,
	pages = "329-331"}

@article{Guy&Lacampagne&Selfridge:1987,
	key = "Guy, Lacampagne, and Selfridge 1987",
	author = "R. K. Guy and C. B. Lacampagne and J. L. Selfridge",
	title = "Primes at a glance",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "183-202"}

@incollection{Lenstra:1986a,
	key = "H. W. Lenstra 1986a",
	author = "Lenstra, Jr., H. W.",
	booktitle = "Mathematics and Computer Science:  Proceedings of the
CWI Symposium",
	editor = "Bakker, J. W. de and M. Hazewinkel and J. K. Lenstra",
	publisher = "North-Holland",
	address = "Amsterdam",
	pages = "269-287",
	year = "{\noopsort{1986a}}1986",
	title = "Primality testing"}

@article{Kurtz&Shanks&Williams:1986,
	key = "Kurtz, Shanks, and Williams 1986",
	author = "G. C. Kurtz and D. Shanks and H. C. Williams",
	title = "Fast primality tests for numbers less than $50\cdot 10^9$",
	journal = MC,
	volume = 46,
	year = 1986,
	pages = "691-701"}

@article{Erdos&Pomerance:1986,
	key = "{Erd{\H{o}}s} and Pomerance 1986",
	title = "On the number of false witnesses for a composite number",
	author = "P. {Erd{\H{o}}s} and C. Pomerance",
	journal = MC,
	volume = 46,
	year = 1986,
	pages = "259-279"}

@article{Atkin&Larson:1982,
	key = "Atkin and Larson 1982",
	author = "A. O. L. Atkin and R. G. Larson",
	title = "On a primality test of {Solovay} and {Strassen}",
	journal = SIAMJC,
	volume = 11,
	year = 1982,
	pages = "789-791"}

@article{Herlestam:1980,
	key = "Herlestam 1980",
	author = "T. Herlestam",
	title = "A note on {Rabin's} probabilistic primality test",
	journal = BIT,
	volume = 20,
	year = 1980,
	pages = "518-521"}

@article{Plaisted:1979,
	key = "Plaisted 1979",
	author = "D. A. Plaisted",
	title = "Fast verification, testing, and generation of large primes",
	journal = TCS,
	volume = 9,
	year = 1979,
	pages = "1-16",
	note = "Errata in {\bf 14} (1981), 345"}

@article{Williams&Holte:1978,
	key = "H. Williams and Holte 1978",
	author = "H. C. Williams and R. Holte",
	title = "Some observations on primality testing",
	journal = MC,
	volume = 32,
	year = 1978,
	pages = "905-917"}

@article{Pomerance:1982b,
	key = "Pomerance 1982b",
	author = "C. Pomerance",
	title = "The search for prime numbers",
	journal = SA,
	volume = 247,
	number = 6,
	month = "December",
	year = "{\noopsort{1982b}}1982",
	pages = "136-147,178"}

@article{Jeans:1897,
	key = "Jeans 1897",
	author = "J. H. Jeans",
	title = "The converse of {Fermat's} theorem",
	journal = "Messenger Math.",
	volume = 27,
	year = "1897-8",
	pages = "174"}

@inproceedings{Adleman:1980,
	key = "Adleman 1980",
	author = "L. M. Adleman",
	title = "On distinguishing prime numbers from composite numbers",
	booktitle = FOCS80,
	year = 1980,
	pages = "387-406"}

@incollection{Lenstra:1982,
	key = "H. W. Lenstra 1982",
	author = "Lenstra, Jr., H. W.",
	title = "Primality testing with {Artin} symbols",
	booktitle = "Number Theory Related to {Fermat's} Last Theorem",
	editor = "N. Koblitz",
	publisher = "Birkh{\"a}user",
	address = "Boston",
	series = "Progress in Mathematics",
	volume = 26,
	year = 1982,
	pages = "341-347"}

@techreport{Kranakis:1984a,
	key = "Kranakis 1984a",
	author = "E. Kranakis",
	title = "On the efficiency of probabilistic primality tests",
	institution = "Yale University, Department of Computer Science",
	number = 314,
	month = "April",
	year = 1984}

@techreport{Kranakis:1984b,
	key = "Kranakis 1984b",
	author = "E. Kranakis",
	title = "Primality tests",
	institution = "Yale University, Department of Computer Science",
	number = 345,
	month = "December",
	year = "1984"}

@article{Koblitz:1988,
	key = "Koblitz 1988",
	author = "N. Koblitz",
	title = "Primality of the number of points on an elliptic curve
over a finite field",
	journal = PJM,
	volume = 131,
	year = 1988,
	pages = "157-165"}

@incollection{Huang:1984b,
	key = "Huang 1984b",
	author = "M.-D. A. Huang",
	title = "On a simple primality testing algorithm",
	booktitle = "EUROSAM 84",
	editor = "J. Fitch",
	series = LNICS,
	volume = 174,
	publisher = SV,
	address = "Berlin",
	year = "{\noopsort{1984b}}1984",
	pages = "321-332"}

@article{Pomerance:1981b,
	key = "Pomerance 1981b",
	author = "C. Pomerance",
	title = "On the distribution of pseudoprimes",
	journal = MC,
	volume = 37,
	year = "{\noopsort{1981b}}1981",
	pages = "587-593"}

@article{Pomerance:1983,
	key = "Pomerance 1983",
	author = "C. Pomerance",
	title = "References on primality testing",
	journal = CN,
	volume = 39,
	year = 1983,
	pages = "21-23"}

@article{Pomerance:1987,
	key = "Pomerance 1987",
	author = "C. Pomerance",
	title = "Very short primality proofs",
	journal = MC,
	volume = 48,
	year = 1987,
	pages = "315-322"}

@article{Nicolas:1984,
	key = "Nicolas 1984",
	author = "J.-L. Nicolas",
	title = "Tests de {primalit\'e}",
	journal = EXM,
	volume = 2,
	year = 1984,
	pages = "223-234"}

@inproceedings{Nicolas:1981,
	key = "Nicolas 1981",
	author = "J.-L. Nicolas",
	title = "Tests de {primalit\'e} ({d'apr\`es} {Adleman},
{Pomerance}, {Rumely}, {Lenstra}, {Cohen})",
	booktitle = "Laboratoire Informatique Th\'eorique, Institut de
Programmation, Institut Henri Poincar\'e",
	year = "1981",
	pages = "119-134"}

@inproceedings{Nicolas:1985b,
	key = "Nicolas 1985b",
	author = "J.-L. Nicolas",
	title = "Test de {primalit\'e} et {m\'ethodes} de factorisation",
	booktitle = "Colloque d'Alg\`ebre; Publications de L'Institut
de Recherche {Math\'ematique} de Rennes",
	volume = 4,
	year = "{\noopsort{1985b}}1985",
	pages = "148-162"}

@incollection{Beauchemin&Brassard&Crepeau&Goutier:1987,
	key = "Beauchemin, Brassard, {Cr\'epeau}, and Goutier 1987",
	author = "P. Beauchemin and G. Brassard and C. {Cr\'epeau} and 
C. Goutier",
	title = "Two observations on probabilistic primality testing",
	booktitle = CRYPTO86,
	editor = "A. M. Odlyzko",
	series = LNICS,
	volume = 263,
	year = 1987,
	publisher = SV,
	address = "Berlin",
	pages = "443-450"}

@article{Williams:1988,
	key = "H. Williams 1988",
	author = "H. C. Williams",
	title = "A note on the primality of {$6^{2^n} + 1$} and
{$10^{2^n}+ 1$}",
	journal = FQ,
	volume = 26,
	year = 1988,
	pages = "296-305"}

@article{Cormack&Williams:1980,
	key = "Cormack and Williams 1980",
	author = "G. V. Cormack and H. C. Williams",
	title = "Some very large primes of the form {$k\cdot 2^m + 1$}",
	journal = MC,
	volume = 35,
	year = 1980,
	pages = "1419-1421"}

@article{Wagstaff:1982,
	key = "Wagstaff 1982",
	author = "Wagstaff, Jr., S. S.",
	title = "Pseudoprimes and a generalization of {Artin's} conjecture",
	journal = AA,
	volume = 41,
	year = 1982,
	pages = "141-150"}

@article{Baillie&Wagstaff:1980,
	key = "Baillie and Wagstaff 1980",
	author = "R. Baillie and Wagstaff, Jr., S. S.",
	title = "Lucas pseudoprimes",
	journal = MC,
	volume = 35,
	year = 1980,
	pages = "1391-1417"}

@article{Lenstra:1983,
	key = "H. W. Lenstra 1983",
	author = "Lenstra, Jr., H. W.",
	title = "Fast prime number tests",
	journal = NAVW,
	volume = 1,
	year = 1983,
	pages = "133-144"}

@incollection{Lenstra:1986b,
	key = "H. W. Lenstra 1986b",
	author = "Lenstra, Jr., H. W.",
	title = "Elliptic curves and number-theoretic algorithms",
	booktitle = "Proc. Int'l. Cong. Math.",
	year = "{\noopsort{1986b}}1986",
	editor = "A. M. Gleason",
	publisher = AMS,
	pages = "99-120"}

@incollection{Furer:1985,
	key = "{F\"urer} 1985",
	author = "M. {F\"urer}",
	title = "Deterministic and {Las Vegas} primality testing algorithms",
	booktitle = "Automata, Languages, and Programming:  12th Colloquium",
	editor = "W. Brauer",
	publisher = SV,
	address = "Berlin",
	series = LNICS,
	volume = 194,
	year = 1985,
	pages = "199-209"}

@inproceedings{Selfridge&Guy:1971,
	key = "Selfridge and Guy 1971",
	author = "J. L. Selfridge and R. K. Guy",
	title = "Primality testing with application to small machines",
	booktitle = "Proc. Wash. State Univ. Conf. on Number Theory",
	year = 1971,
	pages = "45-51"}

@article{Erdos:1949,
	key = "{Erd{\H{o}}s} 1949",
	author = "P. {Erd{\H{o}}s}",
	title = "On the converse of {Fermat's} theorem",
	journal = AMM,
	volume = 56,
	year = 1949,
	pages = "623-624"}

@article{Erdos:1950,
	key = "{Erd{\H{o}}s} 1950",
	author = "P. {Erd{\H{o}}s}",
	title = "On almost primes",
	journal = AMM,
	volume = 57,
	year = 1950,
	pages = "404-407"}

@article{Erdos:1956,
	key = "{Erd{\H{o}}s} 1956",
	author = "P. {Erd{\H{o}}s}",
	title = "On pseudoprimes and {Carmichael} numbers",
	journal = "Publ. Math. Debrecen",
	volume = 4,
	year = 1956,
	pages = "201-206"}

@article{Pritchard:1983b,
	key = "Pritchard 1983b",
	author = "P. Pritchard",
	title = "A case study of number-theoretic computation:  searching
for primes in arithmetic progression",
	journal = SCP,
	volume = 3,
	year = "{\noopsort{1983b}}1983",
	pages = "37-63"}

@article{Williams:1971,
	key = "H. Williams 1971",
	author = "H. C. Williams",
	title = "An algorithm for determining certain large primes",
	journal = CN,
	volume = 3,
	year = 1971,
	pages = "533-556"}

@article{Zarnke&Williams:1971,
	key = "Zarnke and Williams 1971",
	author = "C. R. Zarnke and H. C. Williams",
	title = "Computer determination of some large primes",
	journal = CN,
	volume = 3,
	year = 1971,
	pages = "563-570"}

@article{Williams&Zarnke:1968,
	key = "H. Williams and Zarnke 1968",
	author = "H. C. Williams and C. R. Zarnke",
	title = "A report on prime numbers of the forms
{$M = (6a+1)2^{2m-1} -1$ and $M' = (6a-1)2^{2m} - 1$}",
	journal = MC,
	volume = 22,
	year = 1968,
	pages = "420-422"}

@article{Williams:1981,
	key = "H. Williams 1981",
	author = "H. C. Williams",
	title = "The primality of certain integers of the form
{$2Ar^n - 1$}",
	journal = AA,
	volume = 39,
	year = 1981,
	pages = "7-17"}

@unpublished{Haworth:1989,
	key = "Haworth 1989",
	author = "G. Haworth",
	title = "Mersenne Numbers",
	year = 1989,
	note = "Unpublished research bibliography"}


@article{Shawe-Taylor:1986,
	key = "Shawe-Taylor 1986",
	author = "J. Shawe-Taylor",
	title = "Generating strong primes",
	journal = ELETT,
	volume = 22,
	year = 1986,
	pages = "875-877"}

@inproceedings{Bond:1984,
	key = "D. Bond 1984",
	author = "D. J. Bond",
	title = "Practical primality testing",
	booktitle = "Proc. Int'l. Conf. Secure Communication Systems",
	year = 1984,
	publisher = "IEE",
	pages = "50-53"}

@incollection{Wolfart:1981,
	key = "Wolfart 1981",
	author = "J. Wolfart",
	title = "Primzahltests und {Primfaktorzerlegung}",
	booktitle = "Jahrbuch {\"Uberblicke} Mathematik 1981",
	year = 1981,
	publisher = "Bibliographisches Institut AG",
	pages = "161-188"}

@techreport{Appel&Rosser:1961,
	key = "Appel and Rosser 1961",
	author = "K. I. Appel and J. B. Rosser",
	title = "Table for estimating functions of primes",
	institution = "Communications Research Division, Institute for
Defense Analyses",
	month = "September",
	year = 1961}

@article{Ito:1989,
	key = "Ito 1989",
	author = "H. Ito",
	title = "An elliptic {Fermat} test",
	journal = "Mem. College Ed. Akita Univ. Natur. Sci.",
	number = 40,
	year = 1989,
	pages = "5-8"}

@techreport{Condie:1988,
	key = "Condie 1988",
	author = "L. Condie",
	title = "Primality tests",
	institution = "University College, University of New South Wales,
Department of Computer Science",
	number = "CS 88/24",
	month = "October",
	year = 1988}

@article{Brown.et.al:1990,
	key = "Brown, Noll, Parady, Smith, Smith, and Zarantonello 1990",
	author = "J. Brown and L. C. Noll and B. K. Parady and J. F. Smith and
G. W. Smith and S. E. Zarantonello",
	title = "Letter to the editor",
	journal = AMM,
	volume = 97,
	year = 1990,
	pages = 214}

@article{Srinivasan:1961,
	key = "Srinivasan 1961",
	author = "B. R. Srinivasan",
	title = "Formulae for the $n$th prime",
	journal = JIMS,
	volume = 25,
	year = 1961,
	pages = "33-39"}

@article{Wright:1954,
	author = "E. M. Wright",
	key = "Wright 1954",
	title = "A class of representing functions",
	journal = JLMS,
	volume = 29,
	year = 1954,
	pages = "63-71"}

@article{Mills:1947,
	author = "W. H. Mills",
	key = "Mills 1947",
	title = "A prime-representing function",
	journal = BAMS,
	volume = 53,
	year = 1947,
	pages = 604}

@article{Moser:1950,
	key = "Moser 1950",
	author = "L. Moser",
	title = "A prime representing function",
	journal = MM,
	volume = 23,
	year = 1950,
	pages = "163-164"}

@article{Wright:1951,
	key = "Wright 1951",
	author = "E. M. Wright",
	title = "A prime-representing function",
	journal = AMM,
	volume = 58,
	year = 1951,
	pages = "616-618",
	note = "Correction in {\bf 59} (1952), 99"}

@article{Isenkrahe:1900,
	key = "Isenkrahe 1900",
	author = "C. Isenkrahe",
	title = "Ueber eine {L\"osung} der {Aufgabe}, jede {Primzahl} als
{Function} der vorhergehenden {Primzahlen} durch einen geschlossenen
{Ausdruck} darzustellen",
	journal = MA,
	volume = 53,
	year = 1900,
	pages = "42-44"}

@article{Willans:1964,
	key = "Willans 1964",
	author = "C. P. Willans",
	title = "On formulae for the {$N$}th prime number",
	journal = MG,
	volume = 48,
	year = 1964,
	pages = "413-415"}

@article{Papadimitriou:1975,
	key = "Papadimitriou 1975",
	author = "M. Papadimitriou",
	title = "A recursion formula for the sequence of odd primes",
	journal = AMM,
	volume = 82,
	year = 1975,
	pages = 289}

@incollection{Gandhi:1971,
	key = "Gandhi 1971",
	author = "J. M. Gandhi",
	title = "Formulae for the {$N$}th prime",
	booktitle = "Proc. Washington State University Conference on Number Theory",
	publisher = "Department of Mathematics, Washington State University",
	address = "Pullman, Washington",
	year = 1971,
	editor = "J. H. Jordan and W. A. Webb",
	pages = "96-106"}

@article{Vanden.Eynden:1972,
	key = "Vanden Eynden 1972",
	author = "Vanden Eynden, C.",
	title = "A proof of {Gandhi's} formula for the $n$th prime",
	journal = AMM,
	volume = 79,
	year = 1972,
	pages = 625}

@article{Golomb:1974,
	key = "Golomb 1974",
	author = "S. W. Golomb",
	title = "A direct interpretation of {Gandhi's} formula",
	journal = AMM,
	volume = 81,
	year = 1974,
	pages = "752-754"}

@book{Kraitchik:1926,
	key = "Kraitchik 1926",
	author = "M. Kraitchik",
	title = "{Th\'eorie} des Nombres, Tome II",
	publisher = "Gauthier-Villars",
	address = "Paris",
	year = 1926}

@book{Kraitchik:1929,
	key = "Kraitchik 1929",
	author = "M. Kraitchik",
	title = "Recherches sur la {Th\'eorie} des Nombres",
	volume = "II",
	publisher = "Gauthier-Villars",
	address = "Paris",
	year = 1929}

@book{Lucas:1891,
	key = "Lucas 1891",
	author = "E. Lucas",
	title = "{Th\'eorie} des Nombres",
	publisher = "Gauthier-Villars",
	address = "Paris",
	year = 1891}

@book{Carmichael:1914,
	key = "Carmichael 1914",
	author = "R. D. Carmichael",
	title = "The Theory of Numbers",
	publisher = "John Wiley \& Sons",
	year = 1914,
	note = "Reprinted by Dover, 1959"}

@article{Malm:1977,
	key = "Malm 1977",
	author = "D. E. G. Malm",
	title = "On {Monte-Carlo} primality tests",
	journal = NAMS,
	volume = 24,
	year = 1977,
	pages = "A-529",
	note = "Abstract 77T-A222"}
@article{Borning:1972,
	key = "Borning 1972",
	author = "A. Borning",
	title = "Some results for {$k! \pm 1$} and {$2\cdot 3\cdot 5\cdots p \pm 1$}",
	journal = MC,
	volume = 26,
	year = 1972,
	pages = "567-570"}

@article{Buhler&Crandall&Penk:1982,
	key = "Buhler, Crandall, and Penk 1982",
	author = "J. P. Buhler and R. E. Crandall and M. A. Penk",
	title = "Primes of the form {$n! \pm 1$} and {$2 \cdot 3\cdot 5 \cdots p \pm 1$}",
	journal = MC,
	volume = 38,
	year = 1982,
	pages = "639-643",
	note = "Corrigendum in {\it Math. Comp.} {\bf 40} (1983), 727"}

@article{Akushskii&Burtsev:1986,
	key = "{Akushski\u{\i}} and Burtsev 1986",
	author = "I. Ya. {Akushski\u{\i}} and V. M. Burtsev",
	title = "Realization of primality tests for {Mersenne} and {Fermat} numbers",
	journal = "Vestnik Akademii Nauk Kazakhskoi SSR",
	year = 1986,
	number = 1,
	pages = "52-59"}

@article{Schutzenberger:1968,
	key = "{Sch\"utzenberger} 1968",
	author = "M. P. {Sch\"utzenberger}",
	title = "A remark on acceptable sets of numbers",
	journal = JACM,
	volume = 15,
	year = 1968,
	pages = "300-303"}

@article{Minsky&Papert:1966,
	key = "Minsky and Papert 1966",
	author = "M. Minsky and S. Papert",
	title = "Unrecognizable sets of numbers",
	journal = JACM,
	volume = 13,
	year = 1966,
	pages = "281-286"}

@article{Hartmanis&Shank:1968,
	key = "Hartmanis and Shank 1968",
	author = "J. Hartmanis and H. Shank",
	title = "On the recognition of primes by automata",
	journal = JACM,
	volume = 15,
	year = 1968,
	pages = "382-389"}

@book{Heath:1921,
	key = "T. Heath 1921",
	author = "T. L. Heath",
	title = "A History of Greek Mathematics, Volume I:  From Thales to Euclid",
	publisher = "Oxford, Clarendon Press",
	year = 1921,
	comment = "real author was T. Heath"}

@article{Dijkstra:1957,
	key = "Dijkstra 1957",
	author = "E. W. Dijkstra",
	title = "A method to investigate primality",
	journal = MTAC,
	volume = 11,
	year = 1957,
	pages = "195-196"}

@article{Ogiwara:1989,
	key = "Ogiwara 1989",
	author = "M. Ogiwara",
	title = "A method for generating cryptographically strong primes",
	journal = "Res. Rep. Inf. Sci. C, Comput. Sci. (Japan)",
	number = "93",
	month = "April",
	year = 1989,
	pages = "1-33"}

@article{Rumely:1983,
	key = "Rumely 1983",
	author = "R. Rumely",
	title = "Recent advances in primality testing",
	journal = NAMS,
	volume = 30,
	year = 1983,
	pages = "475-477"}

@article{Parady&Smith&Zarantonello:1990,
	key = "Parady, Smith, and Zarantonello 1990",
	author = "B. K. Parady and J. F. Smith and S. E. Zarantonello",
	title = "Largest known twin primes",
	journal = MC,
	volume = 55,
	year = 1990,
	pages = "381-382"}

@incollection{Rivest:1991,
	key = "Rivest 1991",
	author = "R. L. Rivest",
	title = "Finding Four Million Large Random Primes",
	booktitle = CRYPTO90,
	editor = "A. J. Menezes and S. A. Vanstone",
	publisher = SV,
	year = 1991,
	series = LNICS,
	volume = 537,
	pages = "625-626"}

@article{Goodstein&Wormell:1967,
	key = "Goodstein and Wormell 1967",
	author = "R. L. Goodstein and C. P. Wormell",
	title = "Formulae for primes",
	journal = MG,
	volume = 51,
	year = 1967,
	pages = "35-38",
	note = "Erratum in {\bf 51} (1967), 244"}

@article{Kraitchik:1933,
	key = "Kraitchik 1933",
	author = "M. Kraitchik",
	title = "Les grands nombres premiers",
	journal = "Mathematica (Cluj)",
	volume = 7,
	year = 1933,
	pages = "92-94"}

@article{Williams&Dubner:1986,
	key = "H. Williams and Dubner 1986",
	author = "H. C. Williams and H. Dubner",
	title = "The primality of {$R1031$}",
	journal = MC,
	volume = 47,
	year = 1986,
	pages = "703-711"}

@article{Williams&Seah:1979,
	key = "H. Williams and Seah 1979",
	author = "H. C. Williams and E. Seah",
	title = "Some primes of the form $(a^n-1)/(a-1)$",
	journal = MC,
	volume = 33,
	year = 1979,
	pages = "1337-1342"}

@article{Carmichael:1913,
	key = "Carmichael 1913",
	author = "R. D. Carmichael",
	title = "On the numerical factors of the arithmetic forms $\alpha^n \pm \beta^n$",
	journal = AM,
	volume = 15,
	year = "1913-14",
	pages = "30-70"}

@article{Pepin:1878,
	key = "Pepin 1878",
	author = "T. Pepin",
	title = "Sur la formule $2^n - 1$",
	journal = CRASP,
	volume = 86,
	year = 1878,
	pages = "307-310"}

@incollection{Morain:1990,
	key = "Morain 1990",
	author = "F. Morain",
	title = "Atkin's test:  news from the front",
	booktitle = EUROCRYPT89,
	year = 1990,
	editor = "J.-J. Quisquater and J. Vandewalle",
	publisher = SV,
	pages = "626-635"}

@incollection{Maurer:1990,
	key = "U. Maurer 1990",
	author = "U. M. Maurer",
	title = "Fast generation of secure {RSA-moduli} with almost
maximal diversity",
	booktitle = EUROCRYPT89,
	year = 1990,
	editor = "J.-J. Quisquater and J. Vandewalle",
	publisher = SV,
	pages = "636-647"}

@incollection{Bosma&van.der.Hulst:1990a,
	key = "Bosma and van der Hulst 1990a",
	author = "W. Bosma and M.-P. van der Hulst",
	title = "Faster primality testing",
	booktitle = EUROCRYPT89,
	year = 1990,
	editor = "J.-J. Quisquater and J. Vandewalle",
	publisher = SV,
	pages = "652-656"}

@book{Baker&Gruenberger:1959,
	key = "Baker and Gruenberger 1959",
	author = "C. L. Baker and F. J. Gruenberger",
	title = "The First Six Million Prime Numbers",
	publisher = "Microcard Foundation",
	address = "Madison, Wisconsin",
	year = 1959}

@article{JCPMiller:1963,
	key = "J. Miller 1963",
	author = "J. C. P. Miller",
	title = "Alfred {Edward} {Western}",
	journal = JLMS,
	volume = 38,
	year = 1963,
	pages = "278-281"}

@article{Lucas:1879,
	key = "Lucas 1879",
	author = "E. Lucas",
	title = "Solution to question 453",
	journal = NCM,
	volume = 5,
	year = 1879,
	pages = 137}

@book{Lifchitz:1971,
	key = "Lifchitz 1971",
	author = "H. Lifchitz",
	title = "Table des Nombres Premiers de 0 {\`a} 20 millions",
	publisher = "Albert Blanchard",
	address = "Paris",
	year = 1971}

@article{Hurwitz:1896,
	key = "Hurwitz 1896",
	author = "A. Hurwitz",
	title = "Question 801",
	journal = LIM,
	volume = 3,
	year = 1896,
	pages = 214}

@article{Nazarevsky:1904,
	key = "Nazarevsky 1904",
	author = "Nazarevsky",
	title = "Question 801",
	journal = LIM,
	volume = 11,
	year = 1904,
	pages = 215}

@incollection{Demytko:1989,
	key = "Demytko 1989",
	author = "N. Demytko",
	title = "Generating multiprecision integers with guaranteed
primality",
	booktitle = "Computer Security in the Age of Information 
(Proceedings of the Fifth IFIP International Conference on Computer
Security)",
	editor = "W. J. Caelli",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = 1989,
	pages = "1-8"}

@article{Looff:1851,
	key = "Looff 1851",
	author = "W. Looff",
	title = "Ueber die {Periodicit\"at} der {Decimalbr\"uche}",
	journal = AMP,
	volume = 16,
	year = 1851,
	pages = "54-57"}

@book{Reuschle:1856,
	key = "Reuschle 1856",
	author = "K. G. Reuschle",
	title = "Mathematische Abhandlung, enhaltend: Neue Zahlentheoretische Tabellen",
	address = "Stuttgart",
	year = "1856"}

@article{Fellows&Koblitz:1992,
	key = "Fellows and Koblitz 1992",
	author = "M. R. Fellows and N. Koblitz",
	title = "Self-witnessing polynomial-time complexity and prime factorization",
	journal = DCC,
	volume = 2,
	year = 1992,
	pages = "231-235"}

@phdthesis{Bosma&van.der.Hulst:1990b,
	key = "Bosma and van der Hulst 1990b",
	author = "W. Bosma and M.-P. van der Hulst",
	title = "Primality proving with cyclotomy",
	year = 1990,
	school = "Faculteit Wiskunde en Informatica, Universiteit van Amsterdam"}

@article{Sierpinski:1961,
	key = "{Sierpi\'nski} 1961",
	author = "W. {Sierpi\'nski}",
	title = "Sur les nombres impairs admettant une seule 
{d\'ecomposition} en une somme de deux carr\'es de nombres
naturels premiers entre eux",
	journal = ELEM,
	volume = 16,
	year = 1961,
	pages = "27-30"}

@article{Niven:1951,
	key = "Niven 1951",
	author = "I. Niven",
	title = "Functions which represent prime numbers",
	journal = PAMS,
	volume = 2,
	year = 1951,
	pages = "753-755"}

@article{Ore:1952,
	key = "Ore 1952",
	author = "O. Ore",
	title = "On the selection of subsequences",
	journal = PAMS,
	volume = 3,
	year = 1952,
	pages = "706-712"}

@article{Reiner:1943,
	key = "Reiner 1943",
	author = "I. Reiner",
	title = "Functions not formulas for primes",
	journal = AMM,
	volume = 50,
	year = 1943,
	pages = "619-621"}

@article{Buck:1946,
	author = "R. C. Buck",
	key = "Buck 1946",
	title = "Prime-representing functions",
	journal = AMM,
	volume = 53,
	year = 1946,
	pages = 265}

@article{Kuipers:1950,
	key = "Kuipers 1950",
	author = "L. Kuipers",
	title = "Prime-representing functions",
	journal = PKNAW,
	volume = 53,
	year = 1950,
	pages = "309-310",
	note = "(= {\it Indag. Math.} {\bf 12} (1950), 57--58)"}

@article{Bang:1952,
	key = "Bang 1952",
	author = "T. Bang",
	title = "A function representing prime numbers",
	journal = "Norsk Mat. Tidskrift",
	volume = 34,
	year = 1952,
	pages = "117-118"}

@article{Sierpinski:1952,
	key = "{Sierpi\'nski} 1952",
	author = "W. {Sierpi\'nski}",
	title = "Sur une formule donnant tous les nombres premiers",
	journal = CRASP,
	volume = 235,
	year = 1952,
	pages = "1078-1079"}

@article{Ansari:1951,
	key = "Ansari 1951",
	author = "A. R. Ansari",
	title = "On prime representing function",
	journal = "Ganita",
	volume = 2,
	year = 1951,
	pages = "81-82"}

@article{Bang:1954,
	key = "Bang 1954",
	author = "T. Bang",
	title = "Store primtal",
	journal = NMT,
	volume = 2,
	year = 1954,
	pages = "157-168,191"}

@incollection{Harari:1983,
	key = "Harari 1983",
	author = "S. Harari",
	title = "Primality testing -- a deterministic algorithm",
	booktitle = "Secure Digital Communications",
	edtior = "G. Longo",
	year = 1983,
	publisher = SV,
	series = "Courses and Lectures (International Centre for Mechanical Sciences)",
	number = 279,
	address = "Vienna",
	pages = "121-125"}

@unpublished{Morain:1992a,
	key = "Morain 1992a",
	author = "F. Morain",
	title = "Prime values of partition numbers and
the primality of $p_{1840926}$",
	note = "Unpublished manuscript, submitted to {\it Math. Comp.}",
	year = 1992}

@incollection{Hsia&Yeh:1973,
	key = "Hsia and Yeh 1973",
	author = "P. Hsia and R. T. Yeh",
	title = "Finite automata with markers",
	booktitle = "Automata, Languages, and Programming",
	publisher = "North-Holland",
	address = "Amsterdam",
	editor = "M. Nivat",
	year = 1973,
	pages = "443-451"}

@article{Jones:1975,
	key = "J. Jones 1975",
	author = "J. P. Jones",
	title = "Formula for the $n$th prime number",
	journal = CMB,
	volume = 18,
	year = 1975,
	pages = "433-434"}

@article{Tsangaris&Jones:1992,
	key = "Tsangaris and Jones 1992",
	author = "P. G. Tsangaris and J. P. Jones",
	title = "An old theorem on the {GCD} and its application to primes",
	journal = FQ,
	volume = 30,
	year = 1992,
	pages = "194-198"}

@inproceedings{DavenportJ:1992,
	key = "J. Davenport 1992",
	author = "J. H. Davenport",
	title = "Primality testing revisited",
	booktitle = ISSAC92,
	editor = "P. S. Wang",
	pages = "123-129",
	year = 1992}

@article{Mann&Shanks:1972,
	key = "Mann and Shanks 1972",
	author = "H. B. Mann and D. Shanks",
	title = "A necessary and sufficient condition for primality, and its source",
	journal = JCTA,
	volume = 13,
	year = 1972,
	pages = "131-134"}

@article{AdamsW&Liverance&Shanks:1991,
	key = "W. Adams, Liverance, and Shanks 1991",
	author = "W. W. Adams and E. Liverance and D. Shanks",
	title = "Infinitely many necessary and sufficient conditions for primality",
	journal = BICA,
	volume = 3,
	year = 1991,
	pages = "69-76"}

@article{Golomb:1976a,
	key = "Golomb 1976a",
	author = "S. W. Golomb",
	title = "Formulas for the next prime",
	journal = PJM,
	volume = 63,
	year = "{\noopsort{1976a}}1976",
	pages = "401-404"}

@article{Guthmann:1992,
	key = "Guthmann 1992",
	author = "A. Guthmann",
	title = "Effective primality tests for integers of the forms {$N = k 3^n + 1$}
and {$N = k 2^m 3^n + 1$}",
	journal = BIT,
	volume = 32,
	year = 1992,
	pages = "529-534"}

@article{Keller:1991,
	key = "Keller 1991",
	author = "W. Keller",
	title = "Woher kommen die {gr\"o\ss ten} derzeit 
bekannten {Primzahlen}?",
	journal = MMGH,
	volume = 12,
	year = 1991,
	pages = "211-229"}

@article{Golomb:1992,
	key = "Golomb 1992",
	author = "S. W. Golomb",
	title = "Probability, information theory, and prime number theory",
	journal = DM,
	volume = "106/107",
	year = 1992,
	pages = "219-229"}

@techreport{DavenportJ&Smith:1987,
	key = "J. Davenport and Smith 1987",
	author = "J. H. Davenport and G. C. Smith",
	title = "Rabin's primality testing algorithm -- a group theory view",
	institution = "University of Bath, Department of Computer Science",
	number = "87-04",
	year = 1987}

@incollection{Maurer:1992,
	key = "U. Maurer 1992",
	author = "U. M. Maurer",
	title = "Some number-theoretic conjectures and their relation to the
generation of cryptographic primes",
	booktitle = "Cryptography and Coding II",
	editor = "C. Mitchell",
	publisher = "Clarendon Press",
	address = "Oxford",
	year = 1992,
	series = "Institute of Mathematics and its Applications Conference Series",
	volume = 33,
	pages = "173-191"}

@article{Rubinstein:1993,
	key = "Rubinstein 1993",
	author = "M. Rubinstein",
	title = "A simple heuristic proof of {Hardy and Littlewood's} {Conjecture B}",
	journal = AMM,
	volume = 100,
	year = 1993,
	pages = "456-460"}

@book{Carriero&Gelernter:1990,
	key = "Carriero and Gelernter 1990",
	author = "N. Carriero and D. Gelernter",
	title = "How to Write Parallel Programs",
	publisher = "MIT Press",
	year = 1990,
	address = "Cambridge"}

@article{Dubner:1993,
	key = "Dubner 1993",
	author = "H. Dubner",
	title = "Generalized repunit primes",
	journal = MC,
	volume = 61,
	year = 1993,
	pages = "927-930"}

@article{Pinch:1993b,
	key = "Pinch 1993b",
	author = "R. G. E. Pinch",
	title = "Some primality testing algorithms",
	journal = NAMS,
	volume = 40,
	year = "{\noopsort{1993b}}1993",
	pages = "1203-1210"}

@article{Shawe-Taylor:1992,
	key = "Shawe-Taylor 1992",
	author = "J. Shawe-Taylor",
	title = "Proportion of primes generated by strong prime methods",
	journal = ELETT,
	volume = 28,
	year = 1992,
	pages = "135-137"}

@article{Wagstaff:1993,
	key = "Wagstaff 1993",
	author = "Wagstaff, Jr., S. S.",
	title = "Computing {Euclid's} Primes",
	journal = BICA,
	volume = 8,
	year = 1993,
	pages = "23-32"}

@article{Regimbal:1975,
	key = "Regimbal 1975",
	author = "S. Regimbal",
	title = "An explicit formula for the $k$th prime number",
	journal = MMAG,
	volume = 48,
	year = 1975,
	pages = "230-232"}

@article{Bosma:1993,
	key = "Bosma 1993",
	author = "W. Bosma",
	title = "Explicit primality criteria for $h \cdot 2^k \pm 1$",
	journal = MC,
	volume = 61,
	year = 1993,
	pages = "97-109"}

@article{Odlyzko:1993,
	key = "Odlyzko 1993",
	author = "A. M. Odlyzko",
	title = "Iterated absolute values of differences of consecutive primes",
	journal = MC,
	volume = 61,
	year = 1993,
	pages = "373-380"}

@book{Dubois:1971,
	key = "Dubois 1971",
	author = "R. Dubois",
	title = "Utilisation d'un {th\'eor\`eme} de {Fermat} {\`a} la
{d\'ecouverte} des nombres premiers et notes sur les nombres de
{Fibonacci}",
	publisher = "A. Blanchard",
	address = "Paris",
	year = 1971}

@incollection{Alford&Granville&Pomerance:1994b,
	key = "Alford, Granville, and Pomerance 1994b",
	author = "W. R. Alford and A. Granville and C. Pomerance",
	title = "On the difficulty of finding reliable witnesses",
	booktitle = ANTS1,
	editor = "L. M. Adleman and M.-D. Huang",
	series = LNICS,
	volume = 877,
	publisher = SV,
	year = 1994,
	pages = "1-16"}

@techreport{Granville:1994,
	key = "Granville 1994",
	author = "A. Granville",
	title = "Harald {Cram\'er} and the distribution of prime numbers",
	institution = "University of Georgia, Department of Mathematics",
	number = 8,
	year = 1994}

@article{Kahan:1993,
	key = "Kahan 1993",
	author = "S. Kahan",
	title = "2--4--6--8 $\ldots$ prime gaps that appreciate",
	journal = JRM,
	volume = 25,
	year = 1993,
	pages = "44-46"}

@incollection{Yates:1991,
	key = "Yates 1991",
	author = "S. Yates",
	title = "Sophie {Germain} primes",
	booktitle = "The Mathematical Heritage of C. F. Gauss",
	editor = "G. M. Rassias",
	publisher = "World Scientific",
	year = 1991,
	pages = "882-886"}

@incollection{Condie:1993,
	key = "Condie 1993",
	author = "L. Condie",
	title = "Prime generation with the {Demytko-Miller-Trbovich} algorithm",
	booktitle = AUSCRYPT92,
	editor = "J. Seberry and Y. Zheng",
	series = LNICS,
	volume = 718,
	year = 1993,
	publisher = SV,
	pages = "413-421"}

@techreport{Gerlach:1992,
	key = "Gerlach 1992",
	author = "H. W. Gerlach",
	title = "On the number of witnesses ($a$ mod $n$) providing
a proper divisor of $n$",
	institution = "University of Auckland, Department of Mathematics and
Statistics",
	number = "276",
	month = "November",
	year = 1992}

@unpublished{Konyagin&Pomerance:1994,
	key = "Konyagin and Pomerance 1994",
	author = "S. Konyagin and C. Pomerance",
	title = "On primes recognizable in deterministic polynomial time",
	year = 1994,
	note = "To appear, {\it The Mathematics of Paul Erd\H os},
R. L. Graham and J. Nesetril, eds."}

@incollection{Lidl&Muller:1993,
	key = "Lidl and {M\"uller} 1993",
	author = "R. Lidl and W. B. {M\"uller}",
	title = "Primality testing with {Lucas} functions",
	booktitle = AUSCRYPT92,
	editor = "J. Seberry and Y. Zheng",
	series = LNICS,
	volume = 718,
	year = 1993,
	publisher = SV,
	pages = "539-542"}

@article{Higgins&Campbell:1994,
	key = "Higgins and Campbell 1994",
	author = "J. Higgins and D. Campbell",
	title = "Mathematical certificates",
	journal = MMAG,
	volume = 67,
	year = 1994,
	pages = "21-28"}

@article{Ribenboim:1994,
	key = "Ribenboim 1994",
	author = "P. Ribenboim",
	title = "Prime number records",
	journal = NAW,
	volume = 12,
	year = 1994,
	pages = "53-65"}

@article{Shanks&Kravitz:1967,
	key = "Shanks and Kravitz 1967",
	author = "D. Shanks and S. Kravitz",
	title = "On the distribution of {Mersenne} divisors",
	journal = MC,
	volume = 21,
	year = 1967,
	pages = "97-101"}

@article{Stieltjes:1889,
	key = "Stieltjes 1889",
	author = "T. J. Stieltjes",
	title = "Sur le dev{\'e}loppement de {$\log \Gamma(a)$}",
	journal = JMPA,
	volume = 5,
	year = 1889,
	pages = "425-444",
	note = "Reprinted in {\it Oeuvres Compl\`etes}, Vol.~2,
	pp.~211--230"}

@article{Caldwell:1995,
	key = "Caldwell 1995",
	author = "C. K. Caldwell",
	title = "On the primality of $n! \pm 1$ and $2 \cdot 3 \cdot 5 \cdots p \pm 1$",
	journal = MC,
	volume = 64,
	year = 1995,
	pages = "889-890"}

@article{Templer:1980,
	key = "Templer 1980",
	author = "M. Templer",
	title = "On the primality of $k! + 1$ and $2 * 3 * 5 * \cdots * p + 1$",
	journal = MC,
	year = 1980,
	volume = 34,
	pages = "303-304"}