John Havlicek Computable Obstructions to Wait-free Computability. 80-89 1997 FOCS http://computer.org/proceedings/focs/8197/81970080abs.htm db/conf/focs/focs97.html#Havlicek97