Chris Hankin Program Analysis Tools. 6-12 1998 2 STTT 1 http://link.springer.de/link/service/journals/10009/bibs/8002001/80020006.htm db/journals/sttt/sttt2.html#Hankin98