Trends in applying abstract interpretation - Bowles, Andrew (1992)