Armen Gabrielian Formal systems of numerals. 76-81 1975 IEEE Symposium on Computer Arithmetic https://doi.org/10.1109/ARITH.1975.6156984 conf/arith/1975 db/conf/arith/arith1975.html#Gabrielian75