A Totally Self-Checking Checker for a Parallel Unordered Coding Scheme. - Steven W. Burns; Niraj K. Jha (IEEE Trans. Computers, 1994)