Matthew Hertz Neil Immerman J. Eliot B. Moss Framework for Analyzing Garbage Collection. 230-242 2002 conf/ifipTCS/2002 IFIP TCS db/conf/ifipTCS/ifipTCS2002.html#HertzIM02