@Article{pratt1975certificate,
  Title                    = {Every prime has a succinct certificate},
  Author                   = {Pratt, Vaughan R},
  Journal                  = {SIAM Journal on Computing},
  Year                     = {1975},
  Number                   = {3},
  Pages                    = {214--220},
  Volume                   = {4},

  Owner                    = {lars},
  Publisher                = {SIAM},
  Timestamp                = {2013.06.19}
}

@Article{lehmer1927fermat_converse,
  Title                    = {Tests for primality by the converse of Fermat's theorem},
  Author                   = {Lehmer, Derrick H},
  Journal                  = {Bull. Amer. Math. Soc.},
  Year                     = {1927},
  Pages                    = {327--340},
  Volume                   = {33}
}

@misc{conrad-cyclicity,
  author = {Keith Conrad},
  title = {Cyclicity of $(\textbf{Z}/(p))^{\times}$},
  howpublished = {\url{http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/cyclicFp.pdf}},
}