Schaffer, R. & Sedgewick, R. (1993). The analysis of heapsort.
Journal of Algorithms
, 15, 76-100.