Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C
Programs, by Steve Maguire, (Microsoft Press, 1993). The book focuses on
writing bug-free software.