Kouznetsov, Petr Group P. Druschel, Max Planck Institute for Software Systems, Max Planck Society;
Guerraoui, R., & Kouznetsov, P. (2008). Failure detectors as type boosters. Distributed Computing, 20(5), 343-358. doi:10.1007/s00446-007-0043-z.