No bugs! : delivering error-free code in C and C++ - Thielen, David (Addison-Wesley, 1992)