Reading, Writing, and Proving - Daepp , Ulrich (Springer, 2011)