Keir Fraser: Practical lock-freedom. University of Cambridge, UK 2004