The Art of Proof - Beck, Matthias; Geoghegan, Ross (Springer New York, 2010)