Generalized Parity Checking. - Harvey L. Garner (IRE Trans. Electron. Comput., 1958)

A Ring Model for the Study of Multiplication for Complement Codes. - Harvey L. Garner (IRE Trans. Electron. Comput., 1959)

The Residue Number System. - Harvey L. Garner (IRE Trans. Electron. Comput., 1959)

Number Systems and Arithmetic. - Harvey L. Garner (Adv. Comput., 1965)

Error Codes for Arithmetic Operations. - Harvey L. Garner (IEEE Trans. Electron. Comput., 1966)

The classification of finite number systems. - Harvey L. Garner (IFIP Congress (1), 1968)

Groupoids and computer arithmetic. - Harvey L. Garner; Norman Foo; Lo Hsieh (IEEE Symposium on Computer Arithmetic, 1972)

Islands of Applications. - Harvey L. Garner (Computer, 1972)

Computer Arithmetic: An Introduction and Overview. - Daniel E. Atkins; Harvey L. Garner (IEEE Trans. Computers, 1973)

A Survey of Some Recent Contributions to Computer Arithmetic. - Harvey L. Garner (IEEE Trans. Computers, 1976)

Theory of Computer Addition and Overflows. - Harvey L. Garner (IEEE Trans. Computers, 1978)