Yauand Cheung. Design of Self-checking Software. ACM Press, 1975, doi:10.1145/800027.808468.