Bender, Michael A., Farach-Colton, Martin and Mosteiro, Miguel A.. "Insertion Sort is O(n log n)." Theory of Computing Systems 39 , no. 3 (2006): 391-397.