A transition to abstract mathematics mathematical thinking and writing - Maddox, Randall B. (Elsevier/Academic Press, 2009)