Margaria, T.; Steffen, B.; Topnik, C. Second-Order Value Numbering. eceasst 2010, 30.