@article{AFPtwel,
  author  = {Lukas Bulwahn},
  title   = {The Twelvefold Way},
  journal = {Archive of Formal Proofs},
  month   = {December},
  year    = {2016},
  note    = {\url{https://isa-afp.org/entries/Twelvefold_Way.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{AFPnumpat,
  author  = {Lukas Bulwahn},
  title   = {Cardinality of Number Partitions},
  journal = {Archive of Formal Proofs},
  month   = {January},
  year    = {2016},
  note    = {\url{https://isa-afp.org/entries/Card_Number_Partitions.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{AFPderan,
  author  = {Lukas Bulwahn},
  title   = {Derangements Formula},
  journal = {Archive of Formal Proofs},
  month   = {June},
  year    = {2015},
  note    = {\url{https://isa-afp.org/entries/Derangements.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@book{stanleyenumerative,
  title={Enumerative Combinatorics: Volume 1},
  author={Stanley, R.P.},
  isbn={9781139505369},
  series={Cambridge Studies in Advanced Mathematics},
  year={2011},
  publisher={Cambridge University Press}
}

@book{stantonwhite,
  title={Constructive Combinatorics},
  author={Dennis Stanton and Dennis White},
  year={1986},
  publisher={Springer}
}
