src/HOL/Algebra/document/root.bib

   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},

   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,
-  number =	 23,
+  volume =	 23,
   pages =	 {235--264}
 }