Wait-Free Synchronization (1991) [pdf]
cs.brown.edu