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