Catalan's Conjecture - Schoof, René (Springer London, 2008)