S. E. Richardson, "Exploiting Trivial and Redundant Computation", Proceedings of the 11^th IEEE Symposium on Computer Arithmetic, Windsor, Ontario, Canada, June 29 - July 2, 1993