An Algebraic Model of Fault-Masking Logic Circuits. - Thomas F. Schwab; Stephen S. Yau (IEEE Trans. Computers, 1983)