Wlodzimierz Zadrozny
W. Zadrozny,
"
Axiomatizations of Floating Point Arithmetics
"
,
Proceedings of the 7
th
IEEE Symposium on Computer Arithmetic
, University of Illinois, Urbana, Illinois, June 4-6, 1985