Russel Schaffer Robert Sedgewick The Analysis of Heapsort. 76-100 1993 15 J. Algorithms 1 db/journals/jal/jal15.html#SchafferS93