Geoff Barrett

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