"The compiler as a static analysis tool."

Robert B. K. Dewar (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics