Harry Buhrman Juan A. Garay Jaap-Henk Hoepman Optimal Resiliency against Mobile Faults. 83-88 1995 FTCS db/conf/ftcs/ftcs95.html#BuhrmanGH95