David F. Bacon Perry Cheng V. T. Rajan A unified theory of garbage collection. 50-68 2004 conf/oopsla/2004p OOPSLA http://doi.acm.org/10.1145/1028976.1028982 db/conf/oopsla/oopsla2004p.html#BaconCR04