Checking C programs with lint - Darwin, Ian F. (Nutshell handbook, 1991)