Margaria, T., Steffen, B. and Topnik, C. (2010) “Second-Order Value Numbering”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.439.