reading, writing, and proving : a closer look at mathematics - Daepp, Ulrich (NY springer, 2003)