Nir Shavit Asaph Zemach Concurrent Priority Queue Algorithms. 107-132 1999 conf/wdas/1999 WDAS db/conf/wdas/wdas1999.html#ShavitZ99