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