Saleena, N, Paleri VK.  2014.  Global Value Numbering for Redundancy  Detection: A Simple and Efficient Algorithm. Proceedings of the 29th Annual ACM Symposium on Applied Computing. :1609-1611., Korea: ACM