1. Bearnson, Error Detecting Logic for Digital Computers, pp.143-149, McGraw-Hill, 1968.
2. Correcting Codes, MIT Press, 1972.
3. Arithmetic and Its Applications to Computer Technology, McGraw-Hill, 1967.
4. dynamically checked computers", Proc. IFIP Conf.Vol.2, pp.878-883, North-Holland, 1968.