Joseph Y. Halpern Aleta Ricciardi A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. 73-82 1999 PODC http://doi.acm.org/10.1145/301308.301331 db/conf/podc/podc99.html#HalpernR99