Craig S. Holt James E. Smith Self-Diagnosis in Distributed Systems. 19-32 1985 34 IEEE Trans. Computers 1 db/journals/tc/tc34.html#HoltS85