Fasi, Massimiliano, Mikaitis, Mantas, "Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic", IEEE Trans. Emerg. Topics Comput., 2021