Arge, L., Knudsen, M. and Larsen, K. (1992) “A General Lower Bound on the I/O-Complexity of Comparison-based Algorithms”, DAIMI Report Series, 21(407). doi: 10.7146/dpb.v21i407.6641.