Logical design of a redundant binary adder. - Catherine Y. Chow; James E. Robertson (IEEE Symposium on Computer Arithmetic, 1978)