[Michael A. Bender 2006] Michael A. Bender, Martin Farach-Colton, M. A. M.: "INSERTION SORT Is O(nlogn)"; Theory of Computing Systems  Springer Science+Business Media, I., eds. (2006).