Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro. "INSERTION SORT Is O(nlogn)." Theory of Computing Systems (2006): .