[nitrogen]

You could always write one. I recommend the work of John Regehr as a starting reference: http://blog.regehr.org/

[mlvljr]

I wish I had time to learn this first :)

But yes, authoring a book titled "Well-defined C (and C++)" one day would be awesome.

Thanks for the link.