[Yau75] S. Yau and R. Cheung, Design of Self Checking Software, Conference on Reliable Software, IEEE, 1975, pp450-457. [This is one of a series of papers on software based fault tolerant computing.]