1. W.C. Carter and P.R. Schneider, ?Design of dynamically checked computers? Proc 4th Congress IFIP, 2, Edinburgh, Scotland, pp. 878?883, August 5?10, 1968.
2. Report R/527;D.A. Anderson,September 1971
3. J.E. Smith and G. Metze, ?Strongly fault-secure logic networks,? IEEE Trans Comput., C-27: 491?499, June 1978.
4. M. Nicolaidis, I. Jansch, and B. Courtois, ?Strongly code disjoint checkers,? Proc. 14th Fault Tolerant Comput. Symp., Kissemmee, FL, pp. 16?21, June 1984.
5. J. Galiay, Y. Crouzet, and M. Vergniault, ?Physical versus logical fault models MOS LSI circuits: impact on their testability,? IEEE Trans. Comput., C-29: 527?531, June 1980.