The Proof is in the Pudding The Changing Nature of Mathematical Proof - Krantz, Steven G. (Springer New York, 2011)