"Number-Theoretic Test Generation for Directed Rounding."

Michael Parks (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics