David A. Schmidt Abstract Interpretation of Small-Step Semantics. 76-99 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#Schmidt96 http://dx.doi.org/10.1007/3-540-62503-8_4