@misc{forsteranalytic,
  title={{A}nalytic {N}umber {T}heory (lecture notes)},
  author={Forster, Otto},
  howpublished={\url{http://www.mathematik.uni-muenchen.de/~forster/v/ann/annth_all.pdf}}
}

@book{newman1998analytic,
  title={{A}nalytic {N}umber {T}heory},
  author={Newman, D.J.},
  number={177},
  isbn={9780387983080},
  lccn={97026431},
  series={Graduate Texts in Mathematics},
  year={1998},
  doi = {10.1007/b98872},
  publisher={Springer}
}

@book{apostol1976analytic,
	series = "Undergraduate {T}exts in {M}athematics",
	title = "Introduction to {A}nalytic {N}umber {T}heory",
	year = 1976,
	author = "Tom M. Apostol",
	publisher = "Springer-Verlag",
	doi = "10.1007/978-1-4757-5579-4",
	isbn = "978-0-387-90163-3"
}

@ARTICLE{harrison-pnt,
        author          = "John Harrison",
        title           = "Formalizing an analytic proof of the {P}rime
                           {N}umber {T}heorem (Dedicated to {M}ike {G}ordon on
                           the occasion of his 60th birthday)",
        journal         = "Journal of Automated Reasoning",
        year            = 2009,
        volume          = 43,
        pages           = "243--261"}

@inproceedings{carneiro_pnt,
  author    = {Mario Carneiro},
  title     = {Formalization of the prime number theorem and Dirichlet's theorem},
  booktitle = {Proceedings of the 9th Conference on Intelligent
               Computer Mathematics {(CICM} 2016)},
  pages     = {10--13},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1785/F3.pdf}
}

@article{avigad_pnt,
 author = {Avigad, Jeremy and Donnelly, Kevin and Gray, David and Raff, Paul},
 title = {A Formally Verified Proof of the Prime Number Theorem},
 journal = {ACM Trans. Comput. Logic},
 issue_date = {December 2007},
 volume = {9},
 number = {1},
 month = dec,
 year = {2007},
 issn = {1529-3785},
 articleno = {2},
 url = {http://doi.acm.org/10.1145/1297658.1297660},
 doi = {10.1145/1297658.1297660},
 acmid = {1297660},
 publisher = {ACM},
 address = {New York, NY, USA}
} 
