Writing Bug-Free C Code
Online book by Jerry Jongerius advocates a style of programming based upon classes, data abstraction, run-time type checking, and fault tolerant functions which results in bug-free C code. Sources, Amazon link for printed copy.