Writing Proofs in Analysis - Jonathan M. Kane (Springer, 2016)