Peter Neely Implementation Independent Arithmetic: Speculation for Discussion. 461-468 1977 7 Softw., Pract. Exper. 4 db/journals/spe/spe7.html#Neely77a