Reading, writting and proving : a closer look at mathematics - Daepp, Ulrich (Springer, 2003)