Michael Metzger
Karlsruhe Univ., Karlsruhe, FRG
Precise computation using range arithmetic, via C++
ACM Transactions on Mathematical Software (TOMS)