Karen Zee, Martin C. Rinard: Write barrier removal by static analysis. OOPSLA 2002: 191-210