Catalan's conjecture - Schoof, René (Universitext, 2008)