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