Ulrich Daepp; Pamela Gorkin (2011). Reading, Writing, and Proving. Springer Science+Business Media.