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