@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"
}

@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}
}

@ARTICLE{harrison2009pnt,
        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"}

@misc{chapman2004,
    title={A proof of {H}adjicostas's conjecture},
    author={Robin Chapman},
    year={2004},
    eprint={math/0405478},
    archivePrefix={arXiv},
    primaryClass={math.NT}
}

@misc{hadjicostas2004,
    title={A conjecture-generalization of {S}ondow's formula},
    author={Petros Hadjicostas},
    year={2004},
    eprint={math/0405423},
    archivePrefix={arXiv},
    primaryClass={math.NT}
}

@article{briggs55,
 ISSN = {00029890, 19300972},
 author = {W. E. Briggs and S. Chowla},
 journal = {The American Mathematical Monthly},
 number = {5},
 pages = {323--325},
 publisher = {Mathematical Association of America},
 title = {The Power Series Coefficients of $\zeta(s)$},
 volume = {62},
 year = {1955}
}

@misc{sondow2002,
    title="Double Integrals for {E}uler's Constant and $\ln\frac{4}{\pi}$",
    author={Jonathan Sondow},
    year={2002},
    eprint={math/0211148},
    archivePrefix={arXiv},
    primaryClass={math.CA}
}

