@book{Weil,author={Andr\'{e} Weil},
title={Number Theory: An Approach Through History; From Hammurapi to Legendre},
publisher={Birkh{\"a}user},year=1983}

@misc{Thery,author={Laurent Thery},
title={Numbers equal to the sum of two square numbers},year=2004,
howpublished="\url{http://coq.inria.fr/contribs/SumOfTwoSquare.html}"}

@misc{HOLLight,author={John Harrison},title={The {HOL Light} Theorem Prover},
howpublished="\url{http://www.cl.cam.ac.uk/~jrh13/hol-light/}"}

@MastersThesis{Oosterhuis-MSc,
author={Roelof Oosterhuis},
title={Mechanised Theorem Proving: Exponents 3 and 4 of {Fermat's Last Theorem} in {Isabelle}},
school={University of Groningen},year={2007},
note="\url{http://www.roelofoosterhuis.nl/MScthesis.pdf}"
}

@misc{Wiedijk100,author={Freek Wiedijk},title={Formalizing 100 Theorems},
howpublished="\url{http://www.cs.ru.nl/~freek/100/}"}