Flemming Nielson Semantics-Directed Program Analysis: A Tool-Maker's Perspective. 2-21 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#Nielson96