Semantics for exact floating point operations (1991)

by Gerd Bohlender, Wolfgang Walter, Peter Kornerup, David W Matula
Venue:Proceedings of the 10th Symposium on Computer Arithmetic