Download Practical lock-freedom - Cambridge Computer Lab