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