@misc{cichon,
  author = "Jacek Cicho\'{n}",
  title = "{Q}uick {S}ort -- Average Complexity",
  url = "http://cs.pwr.edu.pl/cichon/Math/QSortAvg.pdf"
}

@article{hoare,
author = {Hoare, C. A. R.},
title = {Quicksort},
journal = {The Computer Journal},
volume = {5},
number = {1},
pages = {10},
year = {1962},
doi = {10.1093/comjnl/5.1.10},
URL = {https://doi.org/10.1093/comjnl/5.1.10}
}

@article{sedgewick,
 author = {Sedgewick, Robert},
 title = {The Analysis of {Q}uicksort Programs},
 journal = {Acta Inf.},
 issue_date = {December 1977},
 volume = {7},
 number = {4},
 month = dec,
 year = {1977},
 issn = {0001-5903},
 pages = {327--355},
 numpages = {29},
 url = {https://doi.org/10.1007/BF00289467},
 doi = {10.1007/BF00289467},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@Inbook{vdw,
author="van der Weegen, Eelis
and McKinna, James",
editor="Berardi, Stefano
and Damiani, Ferruccio
and de'Liguoro, Ugo",
title="A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq",
bookTitle="Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers",
year="2009",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="256--271",
isbn="978-3-642-02444-3",
doi="10.1007/978-3-642-02444-3_16",
url="https://doi.org/10.1007/978-3-642-02444-3_16"
}

