Title: Elimination of dynamic program errors by static analysis
First published: 1984