Ted Herman Toshimitsu Masuzawa Available Stabilizing Heaps http://arxiv.org/abs/cs.DC/0011046 2000 CoRR cs.DC/0011046 db/journals/corr/corr0011.html#cs-DC-0011046