Presentations on Shared Disjoint Heaps