John Havlicek Computable Obstructions to Wait-Free Computability. 59-83 2000 13 Distributed Computing 2 http://link.springer.de/link/service/journals/00446/bibs/0013002/00130059.htm db/journals/dc/dc13.html#Havlicek00