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