Richard Beigel William Hurwood Nabil Kahale Fault Diagnosis in a Flash. 571-580 1995 FOCS db/conf/focs/focs95.html#BeigelHK95