Yehuda Afek Gideon Stupp Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract). 42-51 1994 conf/podc/1994 PODC db/conf/podc/podc94.html#AfekS94 http://doi.acm.org/10.1145/197917.197947