Anonymous obstruction-free (n,k)-set agreement with n–k+1 atomic read/write registers

External Document