Write functions that, given valid inputs, cannot fail.

Chapter 5: Candy-Machine Interfaces.

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

ISBN: 1556155514 This book is available from Amazon