Michael A. Bender, Martin Farach-Colton, M. A. M.: INSERTION SORT Is O(nlogn). In: Theory of Computing Systems (2006),
[BibTeX]