Marcos Kawazoe Aguilera Sam Toueg Randomization and Failure Detection: A Hybrid Approach to Solve Consensus. 29-39 1996 conf/wdag/1996 WDAG db/conf/wdag/wdag96.html#AguileraT96 http://dx.doi.org/10.1007/3-540-61769-8_3