The logic of computer arithmetic.
Flores, Ivan.
Englewood Cliffs, N.J., 
[1963]