Neiger, Gil and Toueg, S. 1990. “Automatically Increasing the Fault-Tolerance of Distributed Algorithms.”Journal of Algorithms 11(3): 374–419.
Neiger, Gil and Toueg, S. 1993. “Simulating Real-Time Clocks and Common Knowledge in Distributed Systems.”Journal of the Association for Computing Machinery 40(2): 334–352.