Reaching agreement in the presence of contention-related crash failures

External Document