Fleischer, Rudolf Algorithms and Complexity, MPI for Informatics, Max Planck Society;
https://rdcu.be/dwTzi (Verlagsversion)
Fleischer, R. (1994). A Tight Lower Bound for the Worst Case of Bottom-Up-Heapsort. Algorithmica, 11(2), 104-115. doi:10.1007/BF01182770.