@misc{rankin,
	author = {Rankin, Stuart},
	title = {The Jordan-H\"older Theorem},
	year = {2005},
	url = {http://www.math.uwo.ca/~srankin/courses/302/2005/jordan_holder.pdf}
}
@article{snd-sylow,
  author  = {Jakob von Raumer},
  title   = {Secondary Sylow Theorems},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2014,
  note    = {\url{http://isa-afp.org/entries/Secondary_Sylow.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
