The logic of computer arithmetic. - Flores, Ivan (Prentice-Hall, Inc., 1963)