Improving software quality by static program analysis. - Horst Lichter; Gerhard Riedinger (Softw. Process. Improv. Pract., 1997)