@misc{Musiker-2009,
  author = {Gregg Musiker},
  title = {Course 18.312: Algebraic Combinatorics},
  note = {\url{http://ocw.mit.edu/courses/mathematics/18-312-algebraic-combinatorics-spring-2009/readings-and-lecture-notes/MIT18_312S09_lec10_Patitio.pdf}},
  year = {2009}
}

@misc{Harrison,
  author = {John Harrison},
  title = {Euler's partition theorem and other elementary partition theorems},
  note = {\url{https://github.com/jrh13/hol-light/blob/master/100/euler.ml}}
}
