Another reference to a proof of Specker's theorem is [Zagier's St Andrews problems][1].


  [1]: http://www-groups.dcs.st-and.ac.uk/~john/Zagier/Problems.html