M. Parks, "Number-Theoretic Test Generation for Directed Rounding", Proceedings of the 14th IEEE Symposium on Computer Arithmetic, Adelaide, Australia, April 14-16, 1999