George Sinaki Error-Coded Algorithms for On-Line Arithmetic. 46-58 1990 conf/aaecc/1990 AAECC db/conf/aaecc/aaecc1990.html#Sinaki90 http://dx.doi.org/10.1007/3-540-54195-0_38