Maurice Herlihy Mark R. Tuttle Lower Bounds for Wait-Free Computation in Message-Passing Systems. 347-362 1990 conf/podc/1990 PODC db/conf/podc/podc90.html#HerlihyT90 http://doi.acm.org/10.1145/93385.93439