Jeffery C. Line Sukumar Ghosh Stabilizing Algorithms for Diagnosing Crash Failures. 376 1994 conf/podc/1994 PODC db/conf/podc/podc94.html#LineG94 http://doi.acm.org/10.1145/197917.198136