The design of self-checking multi-output combinational circuits. - Danny C. C. Ko; Melvin A. Breuer (AFIPS National Computer Conference, 1977)