The logic of computer arithmetic. - Flores, Ivan (Englewood Cliffs, N. J., 1963)