@article{girth-chromatic-afp,
  author  = {Lars Noschinski},
  title   = {A Probabilistic Proof of the Girth-Chromatic Number Theorem},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2012,
  note    = {\url{http://isa-afp.org/entries/Girth_Chromatic.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}

@book{graph-theory,
  author    = {Reinhard Diestel},
  title     = {Graph Theory, 4th Edition},
  publisher = {Springer},
  series    = {Graduate texts in mathematics},
  volume    = {173},
  year      = {2012},
  isbn      = {978-3-642-14278-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{erdos,
  title={On the evolution of random graphs},
  author={Erd{\H{o}}s, Paul and R{\'e}nyi, Alfr{\'e}d},
  journal={Magyar Tud. Akad. Mat. Kutat{\'o} Int. K{\"o}zl},
  volume={5},
  pages={17--61},
  year={1960}
}

@book{random-graphs,
  title={Random graphs},
  author={Janson, Svante and Luczak, Tomasz and Rucinski, Andrzej},
  year={2011},
  publisher={John Wiley \& Sons}
}
