Arge, Lars, Mikael Knudsen, and Kirsten Larsen. 1992. “A General Lower Bound on the I/O-Complexity of Comparison-Based Algorithms”. DAIMI Report Series 21 (407). https://doi.org/10.7146/dpb.v21i407.6641.