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