Catalan's conjecture - Schoof, Rene (Universitext, 2009)