The logic of computer arithmetic - Flores, Ivan (Prentice-Hall International Series in Electrical Engineering / Prentice-Hall, Inc.., 1963)