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