"Upper bound for defragmenting buddy heaps."

Delvin C. Defoe, Sharath R. Cholleti, Ron Cytron (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics