Fleischer, R. (1994). A Tight Lower Bound for the Worst Case of Bottom-Up-Heapsort. Algorithmica, 11(2), 104-115. doi:10.1007/BF01182770.