The Logic of Computer Arithmetic - Flores, Ivan (Prentice Hall, 1963)