Randomized wait free test and set - Tromp, John T. (Centrum voor Wiskunde en Informatica, 1991)