W. Walter
G. Bohlender, W. Walter, P. Kornerup, D. W. Matula,
"
Semantics for Exact Floating Point Operations
"
,
Proceedings of the 10
th
IEEE Symposium on Computer Arithmetic
, Grenoble, France, June 26-28, 1991