Paris C. Kanellakis Alexander A. Shvartsman Efficient Parallel Algorithms on Restartable Fail-Stop Processors. 23-36 1991 PODC db/conf/podc/podc91.html#KanellakisS91