Andrew McCreight Zhong Shao Chunxiao Lin Long Li A general framework for certifying garbage collectors and their mutators. 468-479 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250788 db/conf/pldi/pldi2007.html#McCreightSLL07