"Semantics-Directed Program Analysis: A Tool-Maker's Perspective."

Flemming Nielson (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics