Quelle  root.bib

@PhdThesis{Ballarin:1999,
  author =   {Clemens Ballarin},
  title =   {Computer Algebra and Theorem Proving},
  school =   {University of Cambridge},
  year =   1999,
  note =  {Also Computer Laboratory Technical Report number 473.}
}

@Misc{conrad-cyclicity,
  author = {Keith Conrad},
  title = {CYCLICITY OF {$(Z/(p))^x$}},
  howpublished = {Expository paper from the author's website},
  note = {\url{http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/cyclicFp.pdf}},
}

@Book{Jacobson:1985,
  author =  {Nathan Jacobson},
  title =   {Basic Algebra I},
  publisher =   {Freeman},
  year =   1985
}

@Article{Kammueller-Paulson:1999,
  author =   {Florian Kamm\"uller and L. C. Paulson},
  title =        {A Formal Proof of Sylow's theorem: An Experiment in
                  Abstract Algebra with {Isabelle HOL}},
  journal =   {J. Automated Reasoning},
  year =   1999,
  volume =  23,
  pages =  {235--264}
}