Error detecting codes, self-checking circuits and applications - Wakerly, John (North-Holland, 1978)