@article{noschinskiGraphLibrary2015,
  title    = {A {{Graph Library}} for {{Isabelle}}},
  author   = {Noschinski, Lars},
  year     = {2015},
  month    = mar,
  volume   = {9},
  pages    = {23--39},
  issn     = {1661-8270, 1661-8289},
  doi      = {10.1007/s11786-014-0183-z},
  journal  = {Mathematics in Computer Science},
  language = {en},
  number   = {1}
}

@misc{Zhaonotes,
  author = {Zhao, Yufei},
  note   = {Lecture notes MIT 18.226, Fall 2020, \url{https://ocw.mit.edu/courses/18-226-probabilistic-method-in-combinatorics-fall-2020/resources/mit18_226f20_full_notes/}},
  title  = {Probabilistic Methods in Combinatorics},
  year   = {2020}
}

@book{alonProbabilisticMethod2008,
  title = {The Probabilistic Method},
  author = {Alon, Noga and Spencer, Joel H.},
  year = {2016},
  edition = {4th},
  publisher = {{Wiley}},
  address = {{Hoboken, N.J}},
  abstract = {The probabalistic method, allows us to prove the existence of combinatorial structure with certain properties by constructing an appropriate probability space and showing that a chosen element has the desired properties with positive probability},
  file = {C\:\\Users\\cledm\\Zotero\\storage\\WS9HSV4A\\Alon and Spencer - 2008 - The probabilistic method.pdf},
  isbn = {1119061954},
  keywords = {Combinatorial analysis,Probabilities},
  language = {en},
  series = {Wiley-{{Interscience}} Series in Discrete Mathematics and Optimization}
}