@article{bhattacharjee2018,
  title={A Search for Good Pseudo-random Number Generators: Survey and Empirical Studies},
  author={Kamalika Bhattacharjee and Krishnendu Maity and Sukanta Das},
  journal={Comput. Sci. Rev.},
  year={2018},
  volume={45},
  pages={100471}
}

@inproceedings{singh2020,
  author={Singh, Mehul and Singh, Prabhishek and Kumar, Pramod},
  booktitle={2020 International Conference on Computer Science, Engineering and Applications (ICCSEA)},
  title={An Empirical Study of Non-Cryptographically Secure Pseudorandom Number Generators},
  year={2020},
  volume={},
  number={},
  pages={1-6},
  doi={10.1109/ICCSEA49143.2020.9132873}
}

@techreport{oneill2014,
    title = "{PCG}: A Family of Simple Fast Space-Efficient Statistically Good Algorithms for Random Number Generation",
    author = "Melissa E. O'Neill",
    institution = "Harvey Mudd College",
    address = "Claremont, CA",
    number = "HMC-CS-2014-0905",
    year = "2014",
    month = Sep,
    url = "https://www.cs.hmc.edu/tr/hmc-cs-2014-0905.pdf",
}

@techreport{hurd2003formal,
  title={Formal verification of probabilistic algorithms},
  author={Hurd, Joe},
  year={2003},
  institution={University of Cambridge, Computer Laboratory}
}

@article{bernardy2018,
  author = {Bernardy, Jean-Philippe and Boespflug, Mathieu and Newton, Ryan R. and Peyton Jones, Simon and Spiwack, Arnaud},
  title = {Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language},
  year = {2017},
  issue_date = {January 2018},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {2},
  number = {POPL},
  doi = {10.1145/3158093},
  journal = {Proc. ACM Program. Lang.},
  month = {dec},
  articleno = {5},
  numpages = {29},
  keywords = {GHC, linear types, linear logic, laziness, Haskell, typestate, polymorphism}
}

@article{hutton1998,
  title={Monadic parsing in Haskell},
  volume={8},
  DOI={10.1017/S0956796898003050},
  number={4},
  journal={Journal of Functional Programming},
  publisher={Cambridge University Press},
  author={Hutton, Graham and Meijer, Erik},
  year={1998},
  pages={437–444}
}

@book{fremlin2000,
  title={Measure theory},
  author={Fremlin, David Heaver},
  volume={4},
  year={2000},
  publisher={Torres Fremlin}
}

@misc{pcgbasic,
  author = "Melissa E. O'Neill",
  title = "{PCG} Random Number Generation, Minimal {C} Edition",
  url= "https://archive.softwareheritage.org/swh:1:dir:0131a89d677e0443a5570019dfa6cc5320e385e9;origin=https://github.com/imneme/pcg-c-basic;visit=swh:1:snp:939e53c67b5d4429ed5dec5d2ea268e1ab162dcf;anchor=swh:1:rev:bc39cd76ac3d541e618606bcc6e1e5ba5e5e6aa3",
}

@article{hao1997,
  author={Te Sun Hao and Hoshi, M.},
  journal={IEEE Transactions on Information Theory},
  title={Interval algorithm for random number generation},
  year={1997},
  volume={43},
  number={2},
  pages={599-611},
  doi={10.1109/18.556116}
}

@article{lambruso2013,
  author       = {J{\'{e}}r{\'{e}}mie O. Lumbroso},
  title        = {Optimal Discrete Uniform Generation from Coin Flips, and Applications},
  journal      = {CoRR},
  volume       = {abs/1304.1916},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.1916},
  eprinttype    = {arXiv},
  eprint       = {1304.1916},
  timestamp    = {Mon, 13 Aug 2018 16:45:57 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1916.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{devroye2020,
  title={Random variate generation using only finitely many unbiased, independently and identically distributed random bits.},
  author={Luc Devroye and Claude Gravel},
  journal={arXiv: Information Theory},
  year={2020}
}