@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-dirichlet,
        author          = "John Harrison",
        title           = "A formalized proof of {D}irichlet's theorem on
                           primes in arithmetic progression",
        journal         = "Journal of Formalized Reasoning",
        volume          = 2,
        number          = 1,
        year            = 2009,
        pages           = "63--83"}

@inproceedings{carneiro16,
  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}
}
