1. W.C., Carter, P.R. Schneider, Design of dynamically checked computers, Proc. 4th Congress IFIP, vol.2, Edinburgh, Scotland, 5–10 Aug. 1968, pp. 878–883.
2. D.A. Anderson, Design of self-checking digital networks using coding techniques, Coordinates, Sciences Laboratory, Report R/527, University of Illinois, Urbana, September 1971.
3. J.E. Smith, G. Metze, Strongly fault secure logic networks, IEEE Trans. Comput. C-27 (6) (1978).
4. W.W. Peterson, On checking an Adder, IBM J. Res. Dev. 2 (1958) 166–168.
5. A. Avizienis, G.C. Gilley, F.P. Mathur, D.A. Rennels, J.A. Rohr, D.K. Rubin, The STAR (Self-Testing and Repairing) computer: an investigation of the theory and practice of fault-tolerant computer design IEEE Trans. Comput. C-2O (1971) 1312–1321.