1. Apostol, T.M.: Introduction to Analytic Number Theory. Springer, Heidelberg (1976)
2. Asperti, A., Armentano, C.: A Page In Number Theory. Journal of Formalized Reasoning 1 (2008) (to appear)
3. Avigad, J., Donnelly, K., Gray, D., Raff, P.: A formally verified proof of the prime number theorem. ACM Transactions on Computational Logic 9(1) (2007) (to appear in the ACM Transactions on Computational Logic)
4. Erdös, P.: Beweis eines Satzes von Tschebyschef. Acta Scientifica Mathematica 5, 194–198 (1932)
5. Harrison, J.: Formalizing an analytic proof of the Prime Number Theorem (extended abstract). In: Participant’s proceedings of TTVSI Festschrift in honour of Mike Gordon’s 60th birthday (2008)