Wlodzimierz Zadrozny. Axiomatizations of floating point arithmetics. In Daniel D. Gajski, Ahmed Sameh, Kai Hwang, editors, 7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985. pages 74-81, IEEE, 1985. [doi]
Abstract is missing.