The analysis of heapsort (1993)

by Russel Schaffer, Robert Sedgewick
Venue:J. Algorithms