Yoga Sivagurunathan Mark Harman Sebastian Danicic Slicing, I/O and the Implicit State. 59-68 1997 AADEBUG db/conf/aadebug/aadebug97.html#SivagurunathanHD97 http://www.ep.liu.se/ea/cis/1997/009/06/