Chapter 1: A Hypothetical Compiler.
Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C Programs by Steve Maguire
ISBN: 1556155514 This book is available from Amazon
