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