Geoff Barrett
G. Barrett,
"
A Formal Approach to Rounding
", Proceedings of the 8
th
IEEE Symposium on Computer Arithmetic
, Villa Olmo, Como, Italy, May 19-21, 1987