@book{Edwards,author={Harold M. Edwards},
title={Fermat's Last Theorem. A Genetic Introduction to
Algebraic Number Theory}, publisher={Springer Verlag}, year=1977}

@misc{DelahayeM,author={David Delahaye and Micaela Mayero},
title={Diophantus' 20th Problem and Fermat's Last Theorem for n=4:
Formalization of Fermat's Proofs in the Coq Proof Assistant},year=2005,
howpublished="\url{http://hal.archives-ouvertes.fr/hal-00009425/en/}"}

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