T. Margaria, B. Steffen, and C. Topnik, “Second-Order Value Numbering”, eceasst, vol. 30, Nov. 2010.