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