4 books
Building Proofs: A Practical Guide
Building Proofs
Writing Scientific Software: A Guide to Good Style
Writing Scientific Software