Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C Programs

(Author: Maguire, Steve)