Writing solid code : microsoft 's techniques for developing bug-free C programs - Maguire, Stephen A. (Microsoft Press, 1993)