Error coding for arithemtic processors - Rao, T.R.N (Academic Press, 1974)