The logic of computer arithmetic. - Flores, Ivan (Prentice-Hall international series in electrical engineering, 1963)